98 citations · 647 across the 44 of their papers we have counts for
1 paper · 2 filters
André Platzer
This article introduces a relatively complete proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a for…