Computer aided verification 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV (BerichterstatterIn)
Weitere Verfasser:	Halbwachs, Nicolas (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1999
Schriftenreihe:	Lecture notes in computer science 1633
Schlagworte:	Computer programs > Verification > Konferenzschrift > Verifikation
Online Zugang:	Inhaltsverzeichnis Kapitel 1 Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!