01941oam 2200493zu 450 991037615130332120210807004406.0(CKB)3390000000028888(SSID)ssj0001171621(PQKBManifestationID)11670253(PQKBTitleCode)TC0001171621(PQKBWorkID)11183625(PQKB)11360514(WaSeSS)IndRDA00013206(Association for Computing Machinery)10.1145/2103776(EXLCZ)99339000000002888820160829d2012 uy engur|||||||||||txtccrPLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA[Place of publication not identified]ACM20121 online resource (84 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4503-1125-3 ACM ConferencesProgramming Languages meets Program Verification'12 :proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USAProceedings of the sixth Workshop on Programming Languages Meets Program VerificationEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceClaessen Koen855475Swamy NikhilClaessen KoenACM Special Interest Group on Programming LanguagesPQKBBOOK9910376151303321PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA2232839UNINA