Tests and Proofs
Subtitle: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Publisher: Springer
Published: Jun 07, 2013
Format: paperback
Number of pages: 243
ISBN-13: 9783642389153
Notes: Source title: Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science (7942))