Jinja not Java

swMATH28876MaRDI QIDQ40590FDOQ40590

Author name not available (Why is that?)

Cited In (2)

• Mechanising a type-safe model of multithreaded Java with a verified compiler
• A learning-based fact selector for Isabelle/HOL

This page was built for software: Jinja not Java