Modular structural operational semantics (2004)

View PDF

Download Links

by Peter D. Mosses
Citations:74 - 8 self