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, 2010.
Conference: NFM2010
@proceedings{nfm-2010,
title = {Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings},
year = {2010},
researchr = {https://researchr.org/publication/nfm-2010},
cites = {0},
citedby = {0},
booktitle = {Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings},
conference = {NFM},
editor = {César Muñoz},
volume = {NASA/CP-2010-216215},
series = {NASA Conference Proceedings},
}