Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang (University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK) Publisher's Version