Releasing VDM proof obligations with SMT solvers.

Hsin-Hung Lin, Bow-Yaw Wang

Browse the full MEMOCODE paper archive.