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

by Thomas Kleymann
Citations:32 - 1 self