A diagrammatic algebra for program logics
vastutusandmed
Filippo Bonchi, Alessandro Di Giorgio & Elena Di Lavore
allikas
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
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 308-330
seeria-sari
Lecture notes in computer science; 15691
konverentsi nimetus, aeg
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
konverentsi toimumispaik
Hamilton
ISSN
0302-9743
ISBN
978-3-031-90897-2
märkused
Bibliogr.: 57 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
klassifikaator
kategooria (üld)
kategooria (alam)
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).