From Requirements Models to Formal Specifications in B.

Christophe Ponsard, Emmanuel Dieul

Browse the full CaiSE paper archive.