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
Publication URI: http://fm2015.ifi.uio.no/wp-content/uploads/2015/06/ds-fm15-proceedings.pdf
Type: Conference/Paper/Proceeding/Abstract