VFiasco - towards a provably correct m kernel

Bibliographische Detailangaben

1. Verfasser:	Tews, Hendrik (VerfasserIn)
Weitere Verfasser:	Härtig, Hermann (VerfasserIn), Hohmuth, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dresden TU, Fak. Informatik 2001
Schriftenreihe:	Technical Reports / Technische Universität Dresden, Fakultät Informatik 2001,1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!