Record Beta
Horn Clauses for Verification and Synthesis
https://id.confref.org/data/confref-portal/event/hcvs2019
This record is part of the confref event Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019..
| rdf:type | portal:Conference |
|---|---|
| schema:location | Prague (wd:Q1085) |
| rdfs:label | Horn Clauses for Verification and Synthesis |
| portal:acronym | HCVS |
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
| portal:city | Prague |
| portal:country | Czech Republic |
| portal:endDate | 2019-01-01 |
| portal:name | Horn Clauses for Verification and Synthesis |
| portal:portalPage | http://portal.confref.org/list/hcvs2019 |
| portal:series | https://id.confref.org/data/confref-portal/series/hcvs |
| portal:startDate | 2019-01-01 |
| portal:submissionExtended | false |
| portal:year | 2019 |
| cr:discipline | computer science (wd:Q21198) |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
| cr:sameAs | https://dblp.org/db/series/eptcs/eptcs296 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.