Representing and reasoning with operational semantics (2006)

by D Miller
Venue:In Proc. IJCAR’06, volume 4130 of LNCS