Domain-Specific Program Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

Identified as Lukas Renggli This author has not been identified. It may be one of the following persons:

Stéphane Ducasse

Look up 'Stéphane Ducasse' in GoogleThis author has not been identified. It may be one of the following persons:

Tudor Gîrba

Look up 'Tudor Gîrba' in GoogleIdentified as Oscar Nierstrasz

runs on WebDSL