Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science, Band 7942)
von:
Margus Veanes
·
Luca Vigano
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-38915-3
ISBN-10: 3-642-38915-5
Springer
· 2013
