Lattice-Based Semantics for Combinatorial Model Evolution

DOI10.1007/978-3-319-24953-7_22zbMath1471.68125OpenAlexW2395232051MaRDI QIDQ3460570

Rachel Tzoref-Brill, Shahar Maoz

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_22

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

This page was built for publication: Lattice-Based Semantics for Combinatorial Model Evolution