Domain-Specific Program Checking

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]


Lukas Renggli

Identified as Lukas Renggli

Stéphane Ducasse

Identified as Stéphane Ducasse

Tudor Gîrba

Identified as Tudor Gîrba

Oscar Nierstrasz

Identified as Oscar Nierstrasz