TY - BOOK ID - 135271776 TI - PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 AU - Altenkirch, Thorsten AU - Millstein, Todd AU - PLPV '09 AU - A C M Special Interest Group AU - ACM Special Interest Group on Programming Languages PY - 2009 PB - [Place of publication not identified] Association for Computing Machinery DB - UniCat KW - Computer programs KW - Programming languages (Electronic computers) KW - Verification UR - https://www.unicat.be/uniCat?func=search&query=sysid:135271776 AB - ER -