Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm
IFM, 2016.
@inproceedings{IFM-2016-LuckcuckCW,
author = "Matt Luckcuck and Ana Cavalcanti and Andy J. Wellings",
booktitle = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-33693-0_15",
isbn = "978-3-319-33692-3",
pages = "226--241",
publisher = "{Springer}",
title = "{A Formal Model of the Safety-Critical Java Level 2 Paradigm}",
year = 2016,
}
Tags: