Record Beta
Imperial College Workshops
https://id.confref.org/data/confref-portal/event/imperial1993
This record is part of the confref event Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.