NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Barrett, Clark; Davies, Misty; Kahsai, Temesghen (Springer Nature, 2017)
Keywords: Algorithm Analysis and Problem Complexity; Computer programming, programs, data; Computer Science; Formal methods (Computer science); Formal methods (Computer science) -- Congresses; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering