A Formal Model for the SCJ Level 2 Paradigm (2015)

First Author: Luckcuck M
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