02107oam 2200553zu 450 991037618820332120210807002138.0(CKB)3170000000003754(SSID)ssj0000752824(PQKBManifestationID)12386990(PQKBTitleCode)TC0000752824(PQKBWorkID)10786919(PQKB)10141606(Association for Computing Machinery)10.1145/1481848(EXLCZ)99317000000000375420160829d2009 uy engurnn|008mam|atxtccrPLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009[Place of publication not identified]Association for Computing Machinery20091 online resource (90 p.;) ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-60558-330-8 ACM ConferencesPLPV '09Computer programsVerificationCongressesProgramming languages (Electronic computers)CongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCComputer programsVerificationProgramming languages (Electronic computers)Engineering & Applied SciencesComputer Science005.13Altenkirch Thorsten930976Millstein ToddAltenkirch ThorstenA C M Special Interest GroupACM Special Interest Group on Programming LanguagesACM Symposium on Principles of Programming Languages(36th :2009 :Savannah, Ga.)PQKBBOOK9910376188203321PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 20092094203UNINA