David Gray , Geoff Hamilton , David Sinclair , Paul Gibson , James Power
July 1999
3rd Irish Workshop on Formal Methods (IWFM)
Formal Methods
1st - 2nd July 1999
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/