Formal Methods for Exchange Policy Specification.

Rmi Delmas, Thomas Polacsek

Browse the full CaiSE paper archive.