Automatic symbolic compositional verification by learning assumptions
scientific article; zbMATH DE number 5306153
scientific article