Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:77 - 8 self