Tools and algorithms for the construction and analysis of systems
Subtitle: Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
By: Ed Brinksma (ed.).
Contributors: Brinksma, Ed.
Series: Lecture notes in computer science -- 1217
Publisher: Springer
Published: 1997
Place of publication: Berlin; London
Language: eng
Number of pages: 431
Subjects: System design -- Congresses.; Computer software -- Development -- Congresses.
Other titles: TACAS'97.
Notes: Also known as TACAS'97.

Includes bibliographical references and index.