NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings - Rozier, Kristin Yvonne. (Springer, 2023)