Julio Cesar Lopez Hernandez

Towards an Abstraction-Refinement Framework for Reasoning with Large Theories

Konstantin Korovin, Julio Cesar Lopez Hernandez, J. C. López-Hernández, 2017, IWIL@LPAR.