CLDC

swMATH30162MaRDI QIDQ41876FDOQ41876

Author name not available (Why is that?)

Cited In (2)

• Mechanising a type-safe model of multithreaded Java with a verified compiler
• Executable JVM model for analytical reasoning: A study

This page was built for software: CLDC