Development via Refinement in Probabilistic B --- Foundation and Case Study (BiBTeX)

@InProceedings{hoang05:_devel_refin_probab_b,
  author = 	 {Thai Son Hoang and Zhendong Jin and Ken Robinson and Annabelle McIver and Carroll Morgan},
  title = 	 {Development via Refinement in Probabilistic {B} --- Foundation and Case Study},
  crossref =	 {treharne05:_zb2005},
  pages =	 {355--373},
  note =	 {\url{http://dx.doi.org/10.1007/11415787_21}}
}

@Proceedings{treharne05:_zb2005,
  title = 	 {Proceedings of the 4th International Conference of {B} and {Z} Users ({ZB2005})},
  booktitle = 	 {{ZB2005}: Formal Specification and Development in {Z} and {B}},
  editor =	 {Helen Treharne and Steve King and Martin Henson and Steve Schneider},
  volume =	 3455,
  series =	 {Lecture Notes in Computer Science},
  year = 	 2005,
  month =	 apr,
  address =	 {Guildford, United Kingdom},
  publisher =	 {Springer-Verlag}
}