Douglas J. Howe, Stephen Michell. An approach to formal verication of real time concurrent Ada programs. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 87-92, ACM, 2003. [doi]
@inproceedings{HoweM03,
title = {An approach to formal verication of real time concurrent Ada programs},
author = {Douglas J. Howe and Stephen Michell},
year = {2003},
doi = {10.1145/959222.959238},
url = {https://doi.org/10.1145/959222.959238},
researchr = {https://researchr.org/publication/HoweM03},
cites = {0},
citedby = {0},
pages = {87-92},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003},
editor = {Tullio Vardanega},
publisher = {ACM},
isbn = {978-1-4503-7446-0},
}