Releases by W R Cleaveland

Cover for W R Cleaveland · Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed (Paperback Book) (1999)
Paperback Book
Tools and Algorithms for the Con...
W R Cleaveland