Using Design Patterns in Formal Methods: An Event-B Approach (BiBTeX)

@InProceedings{abrial08:_using_desig_patter_formal_method,
  author = 	 {Jean-Raymond Abrial and Thai Son Hoang},
  title = 	 {Using Design Patterns in Formal Methods: An {Event-B} Approach},
  crossref = 	 {fitzgerald08:_ictac2008},
  pages = 	 {1--2},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-540-85762-4_1}}
}

@Proceedings{fitzgerald08:_ictac2008,
  title = 	 {Proceedings of the 5th International Colloquium on Theoretical Aspects of Computing ({ICTAC2008})},
  booktitle =    {International Colloquium on Theoretical Aspects of Computing},
  editor = 	 {John S. Fitzgerald and Anne Elisabeth Haxthausen and H{\"u}sn{\"u} Yenig{\"u}n},
  volume = 	 5160,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2008,
  month =        sep,
  address =      {Istanbul, Turkey},
  publisher =    {Springer-Verlag}
}