Michael Butler. Reasoned Modelling with Event-B. In Jonathan P. Bowen, Zhiming Liu, Zili Zhang, editors, Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Volume 10215 of Lecture Notes in Computer Science, pages 51-109, 2016. [doi]
Abstract is missing.