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

by Thomas Kleymann
Citations:34 - 1 self