Cita APA (7th ed.)
Ferreira, C., & Willemse, T. A. C. (2023). Software Engineering and Formal Methods. Springer Nature.
Cita Chicago (17th ed.)
Ferreira, Carla, i Tim A. C. Willemse. Software Engineering and Formal Methods. Springer Nature, 2023.
Cita MLA (9th ed.)
Ferreira, Carla, i Tim A. C. Willemse. Software Engineering and Formal Methods. Springer Nature, 2023.
Atenció: Aquestes cites poden no estar 100% correctes.