Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:75 - 8 self