Record Beta
Structural Operational Semantics
https://id.confref.org/data/confref-portal/event/sos2009
This record is part of the confref event Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.