Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
scientific article; zbMATH DE number 7498609
scientific article