Research output per year
Research output per year
Research output
- 1 Conference contribution
-
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution