The Development of a Probabilistic B-Method and a Supporting Toolkit (BiBTeX)

@PhdThesis{hoang05:_devel_probab_b_method_suppor_toolk,
  author = 	 {Thai Son Hoang},
  title = 	 {{T}he {D}evelopment of a {P}robabilistic {B}-{M}ethod and a {S}upporting {T}oolkit},
  school = 	 {School of Computer Science and Engineering, UNSW},
  year = 	 2005,
  month =	 {jul}
}