An Introduction to the Event-B Modelling Method (BiBTeX)

@InCollection{hoang13:_introd_event_b_model_method,
  author = 	 {Thai Son Hoang},
  title = 	 {An Introduction to the {Event-B} Modelling Method},
  booktitle = 	 {Industrial Deployment of System Engineering Methods},
  publisher = 	 {Springer-Verlag},
  year = 	 2013,
  pages =        {211--236},
  editor = 	 {Alexander Romanovsky and Martyn Thomas},
  month = 	 jul,
  note =         {\url{http://www.springer.com/computer/swe/book/978-3-642-33169-5}}
}