%0 Conference Paper %1 conf/cav/FeldmanWSS19 %A Feldman, Yotam M. Y. %A Wilcox, James R. %A Shoham, Sharon %A Sagiv, Mooly %B CAV (2) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 405-425 %T Inferring Inductive Invariants from Phase Structures. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#FeldmanWSS19 %V 11562 %@ 978-3-030-25543-5

@inproceedings{conf/cav/FeldmanWSS19, added-at = {2022-10-02T00:00:00.000+0200}, author = {Feldman, Yotam M. Y. and Wilcox, James R. and Shoham, Sharon and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/28a867e80c02a59b4d2b29320544bc0d7/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2019-2}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25543-5_23}, interhash = {644c6078bf36fecf120c9a1945490cf2}, intrahash = {8a867e80c02a59b4d2b29320544bc0d7}, isbn = {978-3-030-25543-5}, keywords = {dblp}, pages = {405-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:53:45.000+0200}, title = {Inferring Inductive Invariants from Phase Structures.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-2.html#FeldmanWSS19}, volume = 11562, year = 2019 }