Yi Li, Xuechao Sun, Yong Li 0031, Andrea Turrini, Lijun Zhang 0001. Synthesizing Nested Ranking Functions for Loop Programs via SVM. In Yamine Aït Ameur, Shengchao Qin, editors, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Volume 11852 of Lecture Notes in Computer Science, pages 438-454, Springer, 2019. [doi]
@inproceedings{LiS0T019,
title = {Synthesizing Nested Ranking Functions for Loop Programs via SVM},
author = {Yi Li and Xuechao Sun and Yong Li 0031 and Andrea Turrini and Lijun Zhang 0001},
year = {2019},
doi = {10.1007/978-3-030-32409-4_27},
url = {https://doi.org/10.1007/978-3-030-32409-4_27},
researchr = {https://researchr.org/publication/LiS0T019},
cites = {0},
citedby = {0},
pages = {438-454},
booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings},
editor = {Yamine Aït Ameur and Shengchao Qin},
volume = {11852},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-32409-4},
}