1. NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. ([2019]) Other Names: Badger, Julia M; Rozier, Kristin Yvonne; NFM (Symposium), 11th Record Type: Book Extent: 1 online resource (xxi, 392 p.), ill. (some colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗