Hylke W. van Dijk, Bas Graaf, Rob Boerman. On the Systematic Conformance Check of Software Artefacts. In Ronald Morrison, Flávio Oquendo, editors, Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings. Volume 3527 of Lecture Notes in Computer Science, pages 203-221, Springer, 2005. [doi]
Abstract is missing.