Using a DSL and fine-grained model : transformations to explore the boundaries of model verification
- M.F. Amstel, van
- , M.G.J. Brand, van den
- , L.J.P. Engelen
Onderzoeksoutput: Boek/rapport › Rapport › Academic
200
Downloads
(Pure)