Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings

MLA

Ferreira, Carla, and Tim A. C Willemse. Software Engineering and Formal Methods : 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Ferreira, C., & Willemse, T. A. C. (2023). Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings. Cham: Springer International Publishing AG.

Chicago

Ferreira, Carla., and Tim A. C Willemse. Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.