id: 70565446
dt: a
an: 70565446
au: Jackson, Ethan K.; Levendovszky, Tihamer; Balasubramanian, Daniel
ti: Reasoning about metamodeling with formal specifications and automatic
    proofs
so: MoDELS, 653-667 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-24485-8_48