Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Lecture Notes in Computer Science, Band 9154)

von: Jasmin Christian Blanchette · Nikolai Kosmatov Taschenbuch Details (Deutschland) ISBN-13: 978-3-319-21214-2 ISBN-10: 3-319-21214-1 Springer · 2015