Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek. How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 34-46, 2010.
@inproceedings{ButlerHMMND10, title = {How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project}, author = {Ricky W. Butler and George Hagen and Jeffrey Maddalon and César A. Muñoz and Anthony Narkawicz and Gilles Dowek}, year = {2010}, researchr = {https://researchr.org/publication/ButlerHMMND10}, cites = {0}, citedby = {0}, pages = {34-46}, booktitle = {Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings}, editor = {César Muñoz}, volume = {NASA/CP-2010-216215}, series = {NASA Conference Proceedings}, }