Select Publications

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

ORCID as entered in ROS

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation