Publicações

AuthID
P-00A-8VH

Author(s)

Vieira, B

Editor(es)

Ewen Denney; Dimitra Giannakopoulou; Corina S. Pasareanu

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

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, Páginas: 146-155

Indexing

Publication Identifiers

DBLP: conf/nfm/BarbosaAPV09

Export Publication Metadata

Lista Marked

Info

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

Links Úteis