Reconciling Operational and Declarative Specifications.

Jacques Hagelstein, Dominique Roelants

Browse the full CaiSE paper archive.