![](/img/cover-not-exists.png)
[ACM Press the 4th workshop - Stevenson, Washington (2007.10.18-2007.10.18)] Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07 - Formalising device driver interfaces
Ryzhyk, Leonid, Kuz, Ihor, Heiser, GernotYear:
2007
Language:
english
DOI:
10.1145/1376789.1376803
File:
PDF, 138 KB
english, 2007