Volume 59; Issue 2

Journal of Automated Reasoning

Volume 59; Issue 2
2

A Complete Uniform Substitution Calculus for Differential Dynamic Logic

Year:
2017
Language:
english
File:
PDF, 1.02 MB
english, 2017