Record Beta
Structural Operational Semantics
https://id.confref.org/data/confref-portal/event/sos2010
This record is part of the confref event Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.