Dan's Brain
Search site
Bart Jacobs
22.05.2022 - 05:20
author
Links to this note
Verification of Imperative Programs: The VeriFast Approach
VeriFast: Imperative Programs as Proofs