NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Barrett, Clark; Davies, Misty; Kahsai, Temesghen; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Software engineering; Programming languages (Electronic computers).; Computer programming; Computer logic; Mathematical logic; Algorithms; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity