Butler, Michael

name

• Butler, Michael

Authored works

Works contributed to

• Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings

Works about Butler, Michael