ProB: A Model Checker for B (2003)

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