Showing 1 - 1 results of 1 for search 'Leonid Ryzhyk', query time: 0.02s
Refine Results
-
1
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