Author: International Conference on Integrated Formal Methods (6th 2007 Oxford, England)