%0 Conference Paper %1 conf/qrs/LiTZZ16 %A Li, Bin %A Tang, Zhenhao %A Zhai, Juan %A Zhao, Jianhua %B QRS %D 2016 %I IEEE %K dblp %P 108-119 %T Automatic Invariant Synthesis for Arrays in Simple Programs. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2016.html#LiTZZ16 %@ 978-1-5090-4127-5

@inproceedings{conf/qrs/LiTZZ16, added-at = {2022-01-25T00:00:00.000+0100}, author = {Li, Bin and Tang, Zhenhao and Zhai, Juan and Zhao, Jianhua}, biburl = {https://www.bibsonomy.org/bibtex/2f87d919c784e0aa19fd5a22868752c0b/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2016}, ee = {https://doi.org/10.1109/QRS.2016.23}, interhash = {7d6db5504f679fa901e432d22a6b1f99}, intrahash = {f87d919c784e0aa19fd5a22868752c0b}, isbn = {978-1-5090-4127-5}, keywords = {dblp}, pages = {108-119}, publisher = {IEEE}, timestamp = {2024-04-10T08:29:22.000+0200}, title = {Automatic Invariant Synthesis for Arrays in Simple Programs.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2016.html#LiTZZ16}, year = 2016 }