Ghaith Haddad, Gary T. Leavens. Specifying subtypes in Safety Critical Java programs. Concurrency - Practice and Experience, 25(16):2290-2306, 2013. [doi]
@article{HaddadL13,
title = {Specifying subtypes in Safety Critical Java programs},
author = {Ghaith Haddad and Gary T. Leavens},
year = {2013},
doi = {10.1002/cpe.2930},
url = {http://dx.doi.org/10.1002/cpe.2930},
researchr = {https://researchr.org/publication/HaddadL13},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {25},
number = {16},
pages = {2290-2306},
}