Author:Daniel Dougherty

Publications
Razor: Provenance and Exploration in Model-Finding Salman Saghafi and Daniel Dougherty In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning