12/Oct/2015

Publication Title: 

Lattice-Based Semantics for Combinatorial Model Evolution

Authors: 

Rachel Tzoref-Brill

Shahar Maoz

13th International Symposium on Automated Technology for Verification and Analysis (ATVA)

Publication Year: 

Year 2