LEADER 02148oam  2200505zu 450 
001 9910376024003321
005 20210807002017.0
035   $a(CKB)3170000000003128
035   $a(SSID)ssj0001125675
035   $a(PQKBManifestationID)11626012
035   $a(PQKBTitleCode)TC0001125675
035   $a(PQKBWorkID)11129447
035   $a(PQKB)10554032
035   $a(WaSeSS)IndRDA00011329
035   $a(Association for Computing Machinery)10.1145/1929529
035   $a(EXLCZ)993170000000003128
100   $a20160829d2011      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aPLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
210 31$a[Place of publication not identified]$cACM$d2011
215   $a1 online resource (62 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4503-0487-7 
410  0$aACM Conferences
517 1 $aProgramming Languages Meets Program Verification'11 :$eproceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of America
517 1 $aProceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification
517 1 $aPOPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aJhala$b Ranjit$0904352
702   $aSwierstra$b Wouter
702   $aJhala$b Ranjit
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376024003321
996   $aPLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA$92022085
997   $aUNINA