An incremental development of the Mondex system in Event B Read more about An incremental development of the Mondex system in Event B
