?url_ver=Z39.88-2004&rft_id=10.1145%2F2837614.2837649&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Cardelli&rft.au=Cardelli%2C+Luca&rft.aufirst=Luca&rft.date=2016&rft.title=Symbolic+Computation+of+Differential+Equivalences&rft.isbn=978-1-4503-3549-2&rft.btitle=Proceedings+of+the+43rd+Annual+ACM+SIGPLAN-SIGACT+Symposium+on+Principles+of+Programming+Languages&rft.genre=proceeding