Andreas Lochbihler profile picture

Andreas Lochbihler

Is this your author profile? Create an account to claim and customize it!

Stand Alone

A Machine-Checked, Type-Safe Model of Java Concurrency Language, Virtual Machine, Memory Model, and Verified Compiler