Brian Dobbing. The Ravenscar profile for high-integrity Java programs?. In Benjamin M. Brosgol, Michael González Harbour, editors, Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. pages 56-61, ACM, 2000. [doi]
@inproceedings{Dobbing00a,
title = {The Ravenscar profile for high-integrity Java programs?},
author = {Brian Dobbing},
year = {2000},
doi = {10.1145/374370.374382},
url = {https://doi.org/10.1145/374370.374382},
researchr = {https://researchr.org/publication/Dobbing00a},
cites = {0},
citedby = {0},
pages = {56-61},
booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000},
editor = {Benjamin M. Brosgol and Michael González Harbour},
publisher = {ACM},
isbn = {978-1-4503-7327-2},
}