Plpv '09
Proceedings of the 2009 ACM Sigplan Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009
Association for Computing Machinery (ACM) (Publisher)
Published on 1. December 2009
Book
Paperback/Softback
82 pages
978-1-60558-330-3 (ISBN)
Unfortunately, price unknown
Article not available