activity
20112023
most citedA Complete Uniform Substitution Calculus for Differential Dynamic Logic

98 citations · 647 across the 44 of their papers we have counts for

collaborators
Showing 2011 · cs.FLShow all

Nothing from them under that filter.

Their other years and fields are still on the left.