%0 Conference Paper %1 conf/tase/BallouS23 %A Ballou, Kenny %A Sherman, Elena %B TASE %D 2023 %E David, Cristina %E Sun, Meng %I Springer %K dblp %P 221-239 %T Identifying Minimal Changes in the Zone Abstract Domain. %U http://dblp.uni-trier.de/db/conf/tase/tase2023.html#BallouS23 %V 13931 %@ 978-3-031-35257-7

@inproceedings{conf/tase/BallouS23, added-at = {2023-07-07T00:00:00.000+0200}, author = {Ballou, Kenny and Sherman, Elena}, biburl = {https://www.bibsonomy.org/bibtex/24ccbe0600ec82dd91fde04c1b53cb171/dblp}, booktitle = {TASE}, crossref = {conf/tase/2023}, editor = {David, Cristina and Sun, Meng}, ee = {https://doi.org/10.1007/978-3-031-35257-7_13}, interhash = {080df51b40900f73cf9853fc920ce204}, intrahash = {4ccbe0600ec82dd91fde04c1b53cb171}, isbn = {978-3-031-35257-7}, keywords = {dblp}, pages = {221-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:48:24.000+0200}, title = {Identifying Minimal Changes in the Zone Abstract Domain.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2023.html#BallouS23}, volume = 13931, year = 2023 }