Differential equation invariance axiomatization

@article{DBLP:journals/corr/abs-1905-13429,
	author = {['André Platzer', 'Yong Kiam Tan']},
	title = {Differential Equation Invariance Axiomatization},
	journal = {CoRR},
	volume = {abs/1905.13429},
	year = {2019},
	archivePrefix = {arXiv},
	eprint = {1905.13429}
}