![](/img/cover-not-exists.png)
[ACM Press the ACM SIGOPS 22nd symposium - Big Sky, Montana, USA (2009.10.11-2009.10.14)] Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09 - Automatic device driver synthesis with termite
Ryzhyk, Leonid, Chubb, Peter, Kuz, Ihor, Le Sueur, Etienne, Heiser, GernotYear:
2009
Language:
english
DOI:
10.1145/1629575.1629583
File:
PDF, 536 KB
english, 2009