Alwyn Goodloe
AuthID: R-00G-XFM
1
TITLE: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
AUTHORS: Alwyn Goodloe; Suzette Person;
PUBLISHED: 2012, SOURCE: NASA Formal Methods, VOLUME: 7226
AUTHORS: Alwyn Goodloe; Suzette Person;
PUBLISHED: 2012, SOURCE: NASA Formal Methods, VOLUME: 7226
INDEXED IN: 
DBLP
DBLP2
TITLE: NASA Formal Methods
AUTHORS: Alwyn E Goodloe; Suzette Person;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
AUTHORS: Alwyn E Goodloe; Suzette Person;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef