Experiences from the European ProCoS Projects: Provably Correct Systems
Bowen, J
Fränzle, M
Olderog, E
Bjorner, D
Hansen, M
Langmaack, H
Liu, Z
Martin, U
Formal Aspects of Computing
(23 Mar 2026)
