Ben L. Di Vito
Formalizing New Navigation Requirements for NASA’s Space Shuttle
FM, 1996.
@inproceedings{FME-1996-Vito,
author = "Ben L. Di Vito",
booktitle = "{Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods}",
doi = "10.1007/3-540-60973-3_86",
isbn = "3-540-60973-3",
pages = "160--178",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Formalizing New Navigation Requirements for NASA’s Space Shuttle}",
volume = 1051,
year = 1996,
}