Inductive assertions and operational semantics, in (2003)

by J S Moore
Venue:Tronci (Eds.), Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, 21–24 October 2003, Proceedings, in: LNCS