From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages.

Bernhard Schtz

Browse the full COMPSAC paper archive.