Michael Butler | Sebastian Krings /authors/michael-butler/ Michael Butler Wowchemy (https://wowchemy.com)en-usTue, 28 Jul 2020 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Michael Butler /authors/michael-butler/ The First Twenty-Five Years of Industrial Use of the B Method /publication/butler-history-of-b-fmics20/ Tue, 28 Jul 2020 00:00:00 +0000 /publication/butler-history-of-b-fmics20/ The History and Evolution of B and Event-B /publication/krings-history-of-b-hfm19/ Sun, 30 Jun 2019 00:00:00 +0000 /publication/krings-history-of-b-hfm19/