SPIN model checking and software verification ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International SPIN Workshop
Weitere Verfasser:	Havelund, Klaus (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 2000
Schriftenreihe:	Lecture notes in computer science 1885
Schlagworte:	Model Checking > Programmverifikation > Konferenzschrift
Online Zugang:	Vorwort Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!