Specification and Proof of Liveness Properties in B Event Systems.

Olfa Mosbahi, Jacques Jaray

Browse the full ICSoft paper archive.