Publication

[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: bib