%0 Conference Paper %1 conf/qrs/ZhaiLTZL16 %A Zhai, Juan %A Li, Bin %A Tang, Zhenhao %A Zhao, Jianhua %A Li, Xuandong %B QRS %D 2016 %I IEEE %K dblp %P 132-143 %T Precondition Calculation for Loops Iterating over Data Structures. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2016.html#ZhaiLTZL16 %@ 978-1-5090-4127-5

@inproceedings{conf/qrs/ZhaiLTZL16, added-at = {2024-05-07T00:00:00.000+0200}, author = {Zhai, Juan and Li, Bin and Tang, Zhenhao and Zhao, Jianhua and Li, Xuandong}, biburl = {https://www.bibsonomy.org/bibtex/2b7e3fc356f542dcd7ca32249e1557380/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2016}, ee = {https://doi.org/10.1109/QRS.2016.25}, interhash = {815205a40c8af85f12c660754fd25fee}, intrahash = {b7e3fc356f542dcd7ca32249e1557380}, isbn = {978-1-5090-4127-5}, keywords = {dblp}, pages = {132-143}, publisher = {IEEE}, timestamp = {2024-05-13T08:46:37.000+0200}, title = {Precondition Calculation for Loops Iterating over Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2016.html#ZhaiLTZL16}, year = 2016 }