Bonchi, F., Di Giorgio, A., & Di Lavore, E. (2024). A Diagrammatic Algebra for Program Logics.
Chicago Style (17th ed.) CitationBonchi, Filippo, Alessandro Di Giorgio, and Elena Di Lavore. A Diagrammatic Algebra for Program Logics. 2024.
MLA (9th ed.) CitationBonchi, Filippo, et al. A Diagrammatic Algebra for Program Logics. 2024.
Warning: These citations may not always be 100% accurate.