Tests and Proofs
Subtitle: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642029493