Formal Derivation of a Distributed Program in Event B.

Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky

Browse the full ICFEM paper archive.