Home > Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Book Informaton
Author
Catherine Dubois
Series
Lecture Notes in Computer Science
Volume
5668
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin
Pages
X, 169
Language
en
ISBN
9783642029486, 9783642029493, 3642029485
ARI Id
1664717258622
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |