Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hunt, Warren A., Jr, Somenzi, Fabio
Format:	Buch
Sprache:	eng
Schlagworte:	Computer Science Computer software Congresses Information theory Logic Design Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems Theory of Computation Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!