Conference Publication Details
Mandatory Fields
Hao Wu and Rosemary Monahan and James F. Power
7th International Symposium on Theoretical Aspects of Software Engineering
Exploiting attributed type graphs to generate metamodel instances using an SMT solver
2013
July
Published
()
Optional Fields
175
182
Grant Details