Record Beta
Programming Languages meets Program Verification
https://id.confref.org/data/confref-portal/event/plpv2014
This record is part of the confref event Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14.
| rdf:type | portal:Conference |
|---|---|
| schema:location | San Diego (wd:Q16552) |
| rdfs:label | Programming Languages meets Program Verification |
| portal:acronym | PLPV |
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
| portal:city | San Diego |
| portal:country | USA |
| portal:endDate | 2014-01-21 |
| portal:name | Programming Languages meets Program Verification |
| portal:portalPage | http://portal.confref.org/list/plpv2014 |
| portal:series | https://id.confref.org/data/confref-portal/series/plpv |
| portal:startDate | 2014-01-21 |
| portal:submissionExtended | false |
| portal:year | 2014 |
| 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/conf/plpv/plpv2014 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.