Anthony Hall;David L. Dill;John Rushby;C. Michael Holloway;Ricky W. Butler;Pamela Zave
-;-;-;-;-;-
Using Formal Methods to Develop an ATC Information System
IEEE Software
Breaking Through the V and V Bottleneck
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe