DMCA

Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:78 - 8 self