Logical approximation for program analysis
scientific article; zbMATH DE number 6122898
scientific article