Probabilistic program verification via inductive synthesis of inductive invariants
scientific article; zbMATH DE number 7827817
scientific article