Formalizing Models and Meta-models for System Development.

R. Venkatesh, Purandar Bhaduri, Mathai Joseph

Browse the full APSEC paper archive.