NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai
NASA Formal Methods - Springer 2017 - Lecture Notes in Computer Science .
9783319572888
Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity
NASA Formal Methods - Springer 2017 - Lecture Notes in Computer Science .
9783319572888
Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity