Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian

Browse the full MODELS paper archive.