Vincent Jackson
Mechanised high-level verification for concurrent low-level programs
Contact details
vincent.jackson@student.unimelb.edu.au