Static analysis of device drivers
-
- Sidney Amani
- NICTA, and University of New South Wales
-
- Leonid Ryzhyk
- NICTA, and University of New South Wales
-
- Alastair F. Donaldson
- University of Oxford
-
- Gernot Heiser
- NICTA, and University of New South Wales
-
- Alexander Legg
- NICTA, and University of Sydney
-
- Yanjin Zhu
- NICTA, and University of New South Wales
Bibliographic Information
- Other Title
-
- we can do better!
Journal
-
- Proceedings of the Second Asia-Pacific Workshop on Systems
-
Proceedings of the Second Asia-Pacific Workshop on Systems 1-5, 2011-07-11
ACM