Michael Butler

6 published titles

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

(Contributor)

1 edition

Proceedings of the Workshop on Rigorous Engineering of Fault-tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods, Newcastle upon Tyne, UK, July 19 2005

(Contributor)

1 edition

Rigorous development of complex fault-tolerant systems

(Contributor)

1 edition

Workshop on Methods, Models and Tools for Fault Tolerance : proceedings : July 3, 2007, Oxford

(Contributor)

1 edition

FM 2011 : Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : proceedings

(Contributor)

1 edition

Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

(Contributor)

1 edition