DMCA

ProB: A Model Checker for B (2003)

by Michael Leuschel , Michael Butler
Venue:FME 2003: FORMAL METHODS, LNCS 2805
Citations:135 - 40 self