Record Beta
Irish Workshop in Formal Methods (IWFM)
https://id.confref.org/data/confref-portal/event/iwfm2003
This record is part of the confref event 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.