Plpv'07: Proceedings of the 2007 Workshop on Programming Languages Meets Program Verification, Freiburg, Germany, October 5, 20

Hardcover

details (Canada).

ISBN: 978-1-59593-677-6

ISBN-10: 1-59593-677-7

Association for Computing Machinery (ACM) · 2007