By Dr Peter Chubb

Preprints

Amani S; Chubb P; Donaldson AF; Legg A; Ryzhyk L; Zhu Y, 2012, Automatic Verification of Message-Based Device Drivers, , http://dx.doi.org/10.48550/arxiv.1211.6185

Back to profile page