Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:55 - 4 self