Showing 1 - 2 results of 2 for search 'Alexander Legg', query time: 0.02s
Refine Results
-
1
-
2
Automatic Verification of Message-Based Device Drivers by Sidney Amani, Alexander Legg, Alastair F. Donaldson, Peter Chubb, Yanjin Zhu, Leonid Ryzhyk
Published 2012-11-01
Article