Schellhorn, Gerhard
[Editor]
;
Universität Ulm Fakultät für Informatik,
Workshop on Tools for System Design and Verification 4 2000 Ulm
FM-TOOLS 2000
: the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
FM-TOOLS 2000
:
the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]