Reformulation: A Way to Combine Dynamic Properties and B Refinement.

Franoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Browse the full FM paper archive.