Record Beta
UNU/IIST
https://id.confref.org/data/confref-portal/event/unu2002
This record is part of the confref event Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.