Automatically reasoning about metamodeling

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian. Automatically reasoning about metamodeling. Software and Systems Modeling, 14(1):271-285, 2015. [doi]

Abstract

Abstract is missing.