Code Generation for Event-B (BiBTeX)

@InProceedings{fuerst14:_code_gener_event_b,
  author = 	 {Andreas F\"urst and Thai Son Hoang and David Basin and Krishnaji Desai and Naoto Sato and Kunihiko Miyazaki},
  title = 	 {Code Generation for {Event-B}},
  crossref = 	 {albert14:_proceed_inter_confer_integ_formal_method},
  pages = 	 {323--338},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-319-10181-1_20}}
}

@Proceedings{albert14:_proceed_inter_confer_integ_formal_method,
  title = 	 {Proceedings of the 11th International Conference on Integrated Formal Methods},
  booktitle = 	 {IFM},
  editor = 	 {Elvira Albert and Emil Sekerinski},
  volume = 	 8739,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2014,
  month = 	 sep,
  address = 	 {Bertinoro, Italy},
  publisher = 	 {Springer},
  url = 	 {http://dx.doi.org/10.1007/978-3-319-10181-1}
}