SpringerLink (Online service), Dutle, A., Humphrey, L., & Titolo, L. (2025). NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-93706-4
Chicago-Zitierstil (17. Ausg.)SpringerLink (Online service), Aaron Dutle, Laura Humphrey, und Laura Titolo. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-93706-4.
MLA-Zitierstil (9. Ausg.)SpringerLink (Online service), et al. NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-93706-4.