Ghaith Haddad, Gary T. Leavens. Specifying subtypes in SCJ programs. In Andy J. Wellings, Anders P. Ravn, editors, The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011. pages 40-46, ACM, 2011. [doi]
@inproceedings{HaddadL11,
title = {Specifying subtypes in SCJ programs},
author = {Ghaith Haddad and Gary T. Leavens},
year = {2011},
doi = {10.1145/2043910.2043917},
url = {http://doi.acm.org/10.1145/2043910.2043917},
researchr = {https://researchr.org/publication/HaddadL11},
cites = {0},
citedby = {0},
pages = {40-46},
booktitle = {The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011},
editor = {Andy J. Wellings and Anders P. Ravn},
publisher = {ACM},
isbn = {978-1-4503-0731-4},
}