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 Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10). Volume 6141 of LNCS, Springer-Verlag, 2010. [doi]

Identified as Lukas Renggli Identified as Stéphane Ducasse Identified as Tudor Gîrba Identified as Oscar Nierstrasz

runs on WebDSL