Verification and validation in the context of domain-specific modelling.

Janne Merilinna, Juha Prssinen

Browse the full OOPSLA paper archive.