Publications

AuthID
P-00A-8VH

Author(s)

Vieira, B

Editor(s)

Ewen Denney; Dimitra Giannakopoulou; Corina S. Pasareanu

Document Type

Proceedings Paper

Year published

2009

Published

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

Volume: NASA/CP-2009-215407, Pages: 146-155

Indexing

Publication Identifiers

DBLP: conf/nfm/BarbosaAPV09

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links