A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
Tool Support for High Integrity Ada Software
AdaEurope, 1994.
@inproceedings{AdaEurope-1994-HutcheonJMPWJ,
author = "A. D. Hutcheon and D. T. Jordan and John A. McDermid and R. H. Pierce and I. C. Wand and B. J. Jepson",
booktitle = "{Proceedings of the First International Eurospace/Ada-Europe Symposium}",
doi = "10.1007/3-540-58822-1_89",
isbn = "3-540-58822-1",
pages = "63--75",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Tool Support for High Integrity Ada Software}",
volume = 887,
year = 1994,
}
Tags: