Record Beta
IFIP WG5.2 Publications
https://id.confref.org/data/confref-portal/event/ifip5-21994
This record is part of the confref event Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.