![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Cape Cod, MA, USA (5-6 May 1997)] Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) - Formal methods: a practical tool for OS implementors
Tullmann, P., Turner, J., McCorquodale, J., Lepreau, J., Chitturi, A., Back, G.Year:
1997
Language:
english
DOI:
10.1109/HOTOS.1997.595176
File:
PDF, 606 KB
english, 1997