Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/tacas/WangWGK19
AU - Wang, Wenxi
AU - Wang, Kaiyuan
AU - Gligoric, Milos
AU - Khurshid, Sarfraz
TI - Incremental Analysis of Evolving Alloy Models.
BT - Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
SP - 174
EP - 191
PY - 2019//
DO - 10.1007/978-3-030-17462-0_10
UR - https://doi.org/10.1007/978-3-030-17462-0_10
ER -