BicolanoMT

swMATH28593MaRDI QIDQ40307FDOQ40307

Author name not available (Why is that?)

Cited In (3)

• Verifying a Compiler for Java Threads
• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A Certified Data Race Analysis for a Java-like Language

This page was built for software: BicolanoMT