Conference Publication Details
Mandatory Fields
H. Wu, R. Monahan and J. F. Power
TASE 2013
Exploiting attributed type graphs to generate metamodel instances using an SMT solver. To appear
2013
Published
1
()
Optional Fields
Grant Details