Proving Event-B Models with Reusable Generic Lemmas.

Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky

Browse the full ICFEM paper archive.