Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996: Proceedings (Lecture Notes in Computer Science, 1055)

by: Germany) Tacas '9 1996 Passau · Tiziana Margaria · Bernhard Steffen Paperback details (USA). ISBN: 978-0-387-61042-9 ISBN-10: 0-387-61042-1 Springer-Verlag · 1996