A unifying view on SMT-based software verification
scientific article; zbMATH DE number 6845817
scientific article