Jinja not Java

From MaRDI portal

Revision as of 20:48, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:40590

Jump to:navigation, search

swMATH28876MaRDI QIDQ40590

No author found.

Related Items (2)

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

This page was built for software: Jinja not Java

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:40590&oldid=29508018"