Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV (BerichterstatterIn)
Weitere Verfasser:	Grumberg, Orna (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1997
Schriftenreihe:	Lecture notes in computer science 1254
Schlagworte:	Computer software > Verification > Konferenzschrift > Verifikation
Online Zugang:	Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!