02148oam 2200505zu 450 991037602400332120210807002017.0(CKB)3170000000003128(SSID)ssj0001125675(PQKBManifestationID)11626012(PQKBTitleCode)TC0001125675(PQKBWorkID)11129447(PQKB)10554032(WaSeSS)IndRDA00011329(Association for Computing Machinery)10.1145/1929529(EXLCZ)99317000000000312820160829d2011 uy engur|||||||||||txtccrPLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA[Place of publication not identified]ACM20111 online resource (62 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4503-0487-7 ACM ConferencesProgramming Languages Meets Program Verification'11 :proceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of AmericaProceedings of the 5th ACM Workshop on Programming Languages Meets Program VerificationPOPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceJhala Ranjit904352Swierstra WouterJhala RanjitAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376024003321PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA2022085UNINA