Differential equation invariance axiomatization

@article{DBLP:journals/jacm/PlatzerT20,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3380825},
	slides = {pub/diffaxiomatic-long-slides.pdf},
	author = {['André Platzer', 'Yong Kiam Tan']},
	title = {Differential Equation Invariance Axiomatization},
	journal = {J. ACM},
	volume = {67},
	number = {1},
	pages = {6:1–6:66},
	year = {2020},
	doi = {10.1145/3380825}
}