You are here: Start > Publications > View > First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Instalation Map

Publication

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Title

Type

International Conference Proceedings Book

Date

2009

Title

First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Type

International Conference Proceedings Book

Year

2009

Other information

Language: English

Type (Professor's evaluation): Scientific

Collection: NASA Conference Proceedings

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Barbosa, M (Author) (Other); Almeida, JB (Author) (Other); Pinto, JS (Author) (Other); Vieira, B (Author) (Other)

2009