Dan Craigen, Mark Saaltink, Steve Michell
Ada 95 and Critical Systems: An Analytical Approach
AdaEurope, 1996.
@inproceedings{AdaEurope-1996-CraigenSM,
author = "Dan Craigen and Mark Saaltink and Steve Michell",
booktitle = "{Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/BFb0013487",
isbn = "3-540-61317-X",
pages = "171--182",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Ada 95 and Critical Systems: An Analytical Approach}",
volume = 1088,
year = 1996,
}