Inductive assertions and operational semantics (2003)

by J Strother Moore
Venue:In CHARME’03 — Correct Hardware Design and Verification Methods, volume 2860 of LNCS