Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
We couldn't estimate the reading time for this book.
Author
Publication
2010 - Association for Computing Machinery
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781605588902
- ISBN-101605588903
- Better World Books9781605588902
- Open LibraryOL48703998M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!