Arjan J. Mooij, Marc Voorhoeve. Proof Techniques for Adapter Generation. In Roberto Bruni, Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Volume 5387 of Lecture Notes in Computer Science, pages 207-223, Springer, 2008. [doi]
Abstract is missing.