Alwyn Goodloe


AuthID: R-00G-XFM

Publicações a aguardar confirmação

1
TÍTULO: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
AUTORES: Alwyn Goodloe; Suzette Person;
PUBLICAÇÃO: 2012, FONTE: NASA Formal Methods, VOLUME: 7226
INDEXADO EM: DBLP
2
TÍTULO: NASA Formal Methods
AUTORES: Alwyn E Goodloe; Suzette Person;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service