Stephen Michell, Dan Craigen, Mark Saaltink. Using analytical approaches for high integrity Ada95 systems. In Andy J. Wellings, editor, Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997. pages 65-70, ACM, 1997. [doi]
@inproceedings{MichellCS97,
title = {Using analytical approaches for high integrity Ada95 systems},
author = {Stephen Michell and Dan Craigen and Mark Saaltink},
year = {1997},
doi = {10.1145/271658.271703},
url = {https://doi.org/10.1145/271658.271703},
researchr = {https://researchr.org/publication/MichellCS97},
cites = {0},
citedby = {0},
pages = {65-70},
booktitle = {Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997},
editor = {Andy J. Wellings},
publisher = {ACM},
isbn = {978-1-4503-7311-1},
}