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

Cached

Download Links

by Thomas Kleymann
Citations:31 - 1 self