Bernardi, G., Francalanza, A., Peressotti, M., & Mousavi, M. R. (2025). Software is infrastructure: Failures, successes, costs, and the case for formal verification.
Chicago Style (17th ed.) CitationBernardi, Giovanni, Adrian Francalanza, Marco Peressotti, and Mohammad Reza Mousavi. Software Is Infrastructure: Failures, Successes, Costs, and the Case for Formal Verification. 2025.
MLA (9th ed.) CitationBernardi, Giovanni, et al. Software Is Infrastructure: Failures, Successes, Costs, and the Case for Formal Verification. 2025.
Warning: These citations may not always be 100% accurate.