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. doi.. 
Downloads: bibURL: https://www.sciencedirect.com/science/article/pii/S030439752200425X