NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Corporate Authors: NFM (Symposium) Moffett Field, Calif.); SpringerLink (Online service)
Group Author: Brat, Guillaume; Rungta, Neha S. (Neha Shyam), 1979-; Venet, Arnaud
Published: Springer,
Publication Dates: [2013]