Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings