Continuous verfication by discrete reasoning

Bibliographische Detailangaben

1. Verfasser:	Alfaro, Luca De (VerfasserIn)
Weitere Verfasser:	Manna, Zohar (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1994
Schriftenreihe:	Reports / STANFORD UNIV STAN-CS-TR-94-1524
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!