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, }