Formal methods for future interoperability

Interoperability is a key challenge in software engineering, whether expressed in terms of the compatibility of different systems and protocols, in terms of compliance to industry standards, or - increasingly - in terms of the ability to share and re-use data gathered in different contexts. Formal m...