Synthesizing ranking functions for loop programs via SVM
scientific article; zbMATH DE number 7601536
scientific article