"A Hierarchy of Proof Rules for Checking Differential Invariance of ..."

Khalil Ghorbal, Andrew Sogokon, André Platzer (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics