Author:Julio Cesar Lopez Hernandez

Publications
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories Julio Cesar Lopez Hernandez and Konstantin Korovin In:IWIL Workshop and LPAR Short Presentations