Event-B Patterns and Their Tool Support (BiBTeX)

@InProceedings{hoang09:_event_b_patter_their_tool_suppor,
  author = 	 {Thai Son Hoang and Andreas Furst and Jean-Raymond Abrial},
  title = 	 {{Event-B} Patterns and Their Tool Support},
  crossref =     {dang09:_sefm2009},
  pages = 	 {210--219},
  note =         {\url{http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.17}}
}

@Proceedings{dang09:_sefm2009,
  title = 	 {Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods ({SEFM2009})},
  booktitle =    {Software Engineering and Formal Methods},
  editor = 	 {Van Hung Dang and Padmanabhan Krishnan},
  year = 	 2009,
  month = 	 nov,
  address = 	 {Hanoi, Vietnam},
  publisher =    {IEEE Computer Society}
}