Automated assumption generation for compositional verification
scientific article; zbMATH DE number 5306151