Deductive stability proofs for ordinary differential equations

@inproceedings{DBLP:conf/tacas/TanP21,
	pdf = {https://link.springer.com/content/pdf/10.1007},
	slides = {pub/axiomatic-stability-slides.pdf},
	author = {['Yong Kiam Tan', 'André Platzer']},
	editor = {['Jan Friso Groote', 'Kim G. Larsen']},
	title = {Deductive Stability Proofs for Ordinary Differential Equations},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 27th International Conference, TACAS 2021, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, ETAPS
               2021, Proceedings, Part II},
	series = {LNCS},
	volume = {12652},
	pages = {181–199},
	publisher = {Springer},
	year = {2021},
	doi = {10.1007/978-3-030-72013-1_10}
}