Record Beta
SDE 2009
https://id.confref.org/data/confident/13595
This record is part of the confref event Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.