KAD

swMATH32231MaRDI QIDQ43942FDOQ43942

Author name not available (Why is that?)

Cited In (2)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Geographic wayfinders and space-time algebra

This page was built for software: KAD