Formal Executable Theory of Multilevel Modeling.

Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee

Browse the full CaiSE paper archive.