Symbolic Computation of Differential Equivalences. (2016)

by L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Venue:Proceedings of the ACM Symposium on Principles of Programming Languages,