Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

MLA

Alexandre Madeira, and Alexander Knapp. Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Springer Nature, 2024.

APA

Alexandre Madeira, A. Madeira, & Knapp, A. (2024). Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Springer Nature.

Chicago

Alexandre Madeira, and Alexander Knapp. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. : Springer Nature, 2024.