A two-level formal verification methodology using HOL and COSMOS

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Seger, Carl-Johan (VerfasserIn)
Weitere Verfasser:	Joyce, Jeffrey J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Vancouver Univ. of British Columbia 1991
Schriftenreihe:	Technical report / Department of Computer Science, University of British Columbia 91,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!