Corina S. Pasareanu, Radek Pelánek, Willem Visser. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, 3(1), 2007. [doi]
@article{PasareanuPV07, title = {Predicate Abstraction with Under-Approximation Refinement}, author = {Corina S. Pasareanu and Radek Pelánek and Willem Visser}, year = {2007}, doi = {10.2168/LMCS-3(1:5)2007}, url = {http://dx.doi.org/10.2168/LMCS-3(1:5)2007}, tags = {refinement, abstraction}, researchr = {https://researchr.org/publication/PasareanuPV07}, cites = {0}, citedby = {0}, journal = {Logical Methods in Computer Science}, volume = {3}, number = {1}, }