A diagrammatic algebra for program logics
statement of authorship
Filippo Bonchi, Alessandro Di Giorgio & Elena Di Lavore
source
Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings
location of publication
Cham
publisher
year of publication
pages
p. 308-330
series
Lecture notes in computer science; 15691
conference name, date
28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, 3-8 May 2025
conference location
Hamilton
ISSN
0302-9743
ISBN
978-3-031-90897-2
notes
Bibliogr.: 57 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
classifier
category (general)
Bonchi, F., Di Giorgio, A., Di Lavore, E. A diagrammatic algebra for program logics // Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings. Cham : Springer, 2025. p. 308-330. (Lecture notes in computer science; 15691).