Vit. Formalizing space shuttle software requirements (1996)

by CV96 Judith Crow, Ben L Di
Venue:In ACM SIGSOFT Workshop on Formal Methods in Software Practice