Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz. Domain-Specific Program Checking. In Jan Vitek, editor, Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings. Volume 6141 of Lecture Notes in Computer Science, pages 213-232, Springer, 2010. [doi]
Abstract is missing.