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)
Oscillatory flow and steady streaming of cerebrospinal fluid in cranial subarachnoid space
Dvoriashyna, M
Zwanenburg, J
Goriely, A
(27 Mar 2026)