P. Taylor
Formal Methods for a Space Software Development Environment
AdaEurope, 1994.
@inproceedings{AdaEurope-1994-Taylor, author = "P. Taylor", booktitle = "{Proceedings of the First International Eurospace/Ada-Europe Symposium}", doi = "10.1007/3-540-58822-1_91", isbn = "3-540-58822-1", pages = "90--103", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Formal Methods for a Space Software Development Environment}", volume = 887, year = 1994, }