234 followers
A Uniform Substitution Calculus for Differential Dynamic Logic. - André Platzer http://t.co/RokGlWa3Ig
A Uniform Substitution Calculus for Differential Dynamic Logic. - André Platzer http://t.co/RokGlWa3Ig
A Uniform Substitution Calculus for Differential Dynamic Logic http://t.co/X6eGwbYbIG
A Uniform Substitution Calculus for Differential Dynamic Logic. http://t.co/ypoRanAE25