Jinja with Threads

MaRDI QIDQ7361234FDO

Authors Andreas Lochbihler

Publication date 3 December 2007

Cites work

• Animating the formalised semantics of a Java-like language
• Verifying a Compiler for Java Threads

This page was built for software: Jinja with Threads