BicolanoMT
From MaRDI portal
Software:40307
No author found.
Related Items (3)
A Certified Data Race Analysis for a Java-like Language ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ Verifying a Compiler for Java Threads
This page was built for software: BicolanoMT