Butler, Michael.

Overview

Works:	0 works in 4 publications in 1 languages

Titles

FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (1998 :); Butler, Michael.; Schulte, Wolfram.; SpringerLink (Online service) (Electronic resources)

Abstract state machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (1998 :); Butler, Michael.; SpringerLink (Online service) (Electronic resources)

Rigorous Engineering of Fault-Tolerant Systems by: (1998 :); Butler, Michael.; SpringerLink (Online service) (Electronic resources)

Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: (1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service) (Electronic resources)

Methods, models and tools for fault tolerance by: Butler, Michael.; SpringerLink (Online service) (Electronic resources)

Abstract state machines, Alloy, B, TLA, VDM, and Z6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: (1998 :); Butler, Michael.; SpringerLink (Online service) (Electronic resources)

Formal methods and software engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (1998 :); Butler, Michael.; Conchon, Sylvain.; SpringerLink (Online service); Zaidi, Fatiha. (Electronic resources)

Subjects