Proof Styles in Operational Semantics.

Sandip Ray, J Strother Moore

Browse the full FMCAD paper archive.