Standard Conformance-by-Construction with Event-B.

Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque

Browse the full FMICS paper archive.