Michael Butler

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 677 citations

Computing, Computer Science, Computer Systems +10

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 383 citations

Computing, Computer Science, Systems Analysis +5

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 290 citations

Computing, Computer Science, Diagramming +9

Single instruction stream parallelism is greater than two

Michael Butler, Tse-Yu Yeh, Yale N. Patt et al. · 1991 · 142 citations

Engineering, Computer Engineering, Electrical Engineering +5

Vegetable and fruit breaks in Australian primary schools: prevalence, attitudes, barriers and implementation strategies

Nicole Nathan, Luke Wolfenden, Michael Butler et al. · Health Education Research · 2011 · 85 citations · Full text

Public Health, Health Promotion, Public Health Nutrition +13