Differential Dynamic Logic

MaRDI QIDQ7361038FDO

Authors Rose Bohrer

Publication date 13 February 2017

Cites work

• A complete uniform substitution calculus for differential dynamic logic
• A uniform substitution calculus for differential dynamic logic

This page was built for software: Differential Dynamic Logic