Author: International Conference on Integrated Formal Methods (1st 1999 York, England)