Operating system verification—An overview
Gespeichert in:
Verfasser / Beitragende:
[Gerwin Klein]
Ort, Verlag, Jahr:
2009
Enthalten in:
Sadhana, 34/1(2009-02-01), 27-69
Format:
Artikel (online)
Online Zugang: