[LiSLTZ19] Synthesizing Nested Ranking Functions for Loop Programs via SVM Li, Y.; Sun, X.; Li, Y.; Turrini, A. and Zhang, L. In ICFEM, pages 438-454, LNCS 11852, 2019.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-32409-4_27