Mechanised High-Level Verification for Concurrent Low-level Programs
Christine Rizkallah
Toby Murray
Computer Science