Transformer semantics

From MaRDI portal

Software:5974121

Jump to:navigation, search

swMATH42013MaRDI QIDQ5974121

No author found.

Related Items (1)

Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL

This page was built for software: Transformer semantics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:5974121&oldid=29550683"