NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Julia M. Badger Julia M. Badger Kristin Yvonne Rozier NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings NFM Springer 2019 Lecture Notes in Computer Science 11460 978-3-030-20651-2 978-3-030-20652-9 https://doi.org/10.1007/978-3-030-20652-9 db/conf/nfm/nfm2019.html Julia M. Badger David Throop Charles Claunch VARED: Verification and analysis of requirements and early designs. 325-326 2014 RE https://doi.org/10.1109/RE.2014.6912279 https://doi.ieeecomputersociety.org/10.1109/RE.2014.6912279 conf/re/2014 db/conf/re/re2014.html#BadgerTC14 Julia M. Badger Kristin Yvonne Rozier NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings 2014 Springer Lecture Notes in Computer Science 8430 https://doi.org/10.1007/978-3-319-06200-6 978-3-319-06199-3 NASA Formal Methods db/conf/nfm/nfm2014.html Charles Claunch Kristin Y. RozierKristin Yvonne Rozier David Throop