FM-TOOLS 2000
Subtitle: the 4th workshop on tools for system design and verification
By: Gerhard Schellhorn, Wolfgang Reif (eds.).
Contributors: Schellhorn, Gerhard; Reif, Wolfgang
Series: Ulmer Informatik-Berichte -- Nr. 2000-07
Publisher: Fakultät für Informatik, Universität Ulm
Published: 2000
Place of publication: Ulm
Language: eng
Number of pages: 196
Subjects: System design; Congresses; Computer software; Verification
Notes: Includes bibliographical references.