Created page with 'We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB. * Gilbreath Card Trick' |
(No difference)
|
We provide here a list of modeling or specification examples (mainly in B) and how they can be validated with ProB.