Record Beta
Design, Specification, and Verification of Interactive Systems (DSV-IS)
https://id.confref.org/data/confref-portal/event/dsvis2006
This record is part of the confref event International Workshop on Design, Specification, and Verification of Interactive Systems.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.