Ahead-of-time algebraic compilation for safety-critical Java (2018)
Attributed to:
High-integrity Java Applications using Circus
funded by
EPSRC
Abstract
No abstract provided