Lochbihler, Andreas <br/><br/>
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler 

<br/><br/><br/>English[eng] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Java||formal semantics||type safety||memory model||concurrency