Alfred Rosskopf
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment
AdaEurope, 1996.
@inproceedings{AdaEurope-1996-Rosskopf,
author = "Alfred Rosskopf",
booktitle = "{Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/BFb0013488",
isbn = "3-540-61317-X",
pages = "183--197",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment}",
volume = 1088,
year = 1996,
}