A Formal Model for the SCJ Level 2 Paradigm (2015)
Attributed to:
High-integrity Java Applications using Circus
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.5281/zenodo.5120202
Publication URI: https://zenodo.org/record/5120202
Type: Other