Publication

[LiLLSTZ22] Synthesizing Ranking Functions for Loop Programs via SVM Li, Y.; Li, X.; Li, Y.; Sun, X.; Turrini, A. and Zhang, L. In TCS, 2022.
Downloads: bib