Reasoning about Liveness Properties in Event-B.

Thai Son Hoang, Jean-Raymond Abrial

Browse the full ICFEM paper archive.