Industrial Application of Domain Specific Languages Combined with Formal Techniques.

Mathijs Schuts, Jozef Hooman

Browse the full CGO paper archive.