A Tool for Verifying Dynamic Properties in B.

Fama Diagne, Amel Mammar, Marc Frappier

Browse the full SEFM paper archive.