Proof styles in operational semantics (2004)

by S Ray, J S Moore
Venue:Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2004), volume 3312 of LNCS