Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment

Sorry, there's nothing here.

Cite this paper

@inproceedings{Rosskopf1996UseOA, title={Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment}, author={Alfred Rosskopf}, booktitle={Ada-Europe}, year={1996} }