Scalable Techniques for Formal Verification

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ray, Sandip (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, Heidelberg u.a. Springer c2010
Schlagworte:	Computer systems > Verification > Automatic theorem proving > Formal methods (Computer science)
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!