Verification by augmented finitary abstraction
scientific article; zbMATH DE number 1853139
scientific article