Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs (1998)

by Thomas Kleymann
Citations:31 - 1 self