CN:LopezRuizLL08

Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Aeronautical Regulations Should Be Rigorously Developed Too!. In Proceedings of The Sixth NASA Langley Formal Methods Workshop, Volume NASA/CP-2008-215309, Pages 41-43, Mai 2008.

Contact

Yves Ledru

Référence BibTex

@InProceedings{CN:LopezRuizLL08,
   Author = {R. Lopez Ruiz, Eduardo and Ledru, Yves and Lemoine, Michel},
   Title = {Aeronautical Regulations Should Be Rigorously Developed Too!},
   BookTitle = {Proceedings of The Sixth NASA Langley Formal Methods Workshop},
   Volume = {NASA/CP-2008-215309},
   Pages = {41--43},
   Publisher = {NASA},
   Month = {May},
   Year = {2008}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)