Differential refinement logic
@phdthesis{Loos16,
pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2015/CMU-CS-15-144.pdf},
slides = {https://drive.google.com/file/d/0B7RBJEGwzag8UWN1SW9IZzR1WXZabXNRYXQ0Wk05cEpfNXVz},
author = {['Sarah M. Loos']},
school = {Computer Science Department,
School of Computer Science,
Carnegie Mellon University},
title = {Differential Refinement Logic},
year = {2016},
url = {http://reports-archive.adm.cs.cmu.edu/anon/2015/CMU-CS-15-144.pdf}
}