Semantic Derivation Verification

by
Geoff Sutcliffe Department of Computer Science University of Miami USA geoff@cs.miami.edu	Diego Belfiore Department of Computer Science University of Miami USA diego@mail.cs.miami.edu