Lattice-Based Semantics for Combinatorial Model Evolution.

Rachel Tzoref-Brill, Shahar Maoz

Browse the full ATVA paper archive.