@article{Platzer2015, author = "Andre Platzer", title = "{A Uniform Substitution Calculus for Differential Dynamic Logic}", year = "2015", month = "1", url = "https://kilthub.cmu.edu/articles/journal_contribution/A_Uniform_Substitution_Calculus_for_Differential_Dynamic_Logic/6602837", doi = "10.1184/R1/6602837.v1" }