S
eparation_
L
ogic_
I
mperative_
H
O
L
Dependents
2016
The Imperative Refinement Framework
by
Peter Lammich
Aug 08
2015
Verification of the UpDown Scheme
by
Johannes Hölzl
Jan 28