LEADER 01941oam  2200493zu 450 
001 9910376151303321
005 20210807004406.0
035   $a(CKB)3390000000028888
035   $a(SSID)ssj0001171621
035   $a(PQKBManifestationID)11670253
035   $a(PQKBTitleCode)TC0001171621
035   $a(PQKBWorkID)11183625
035   $a(PQKB)11360514
035   $a(WaSeSS)IndRDA00013206
035   $a(Association for Computing Machinery)10.1145/2103776
035   $a(EXLCZ)993390000000028888
100   $a20160829d2012      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aPLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
210 31$a[Place of publication not identified]$cACM$d2012
215   $a1 online resource (84 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4503-1125-3 
410  0$aACM Conferences
517 1 $aProgramming Languages meets Program Verification'12 :$eproceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
517 1 $aProceedings of the sixth Workshop on Programming Languages Meets Program Verification
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aClaessen$b Koen$0855475
702   $aSwamy$b Nikhil
702   $aClaessen$b Koen
712 02$aACM Special Interest Group on Programming Languages
801  0$bPQKB
906   $aBOOK
912   $a9910376151303321
996   $aPLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA$92232839
997   $aUNINA