Proof styles in operational semantics (2004)

by S Ray, J S Moore
Venue:Formal Methods in Computer-Aided Design (FMCAD-2004), volume 3312 of Lecture Notes in Computer Science