Proof styles in operational semantics (2004)

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