Tests and Proofs
Subtitle: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Publisher: Springer
Published: Jul 14, 2011
Format: paperback
Number of pages: 216
ISBN-13: 9783642217692
Notes: Source title: Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings