ProB: a model checker for B (2003)

by M Leuschel, M Butler
Venue:in: Proceedings of the 2003 International Symposium of Formal Methods Europe (FME