Constantin Enea. Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 126-135, IEEE Computer Society, 2008. [doi]
@inproceedings{Enea08, title = {Counterexample Guided Abstraction Refinement is Better under Equational Abstraction}, author = {Constantin Enea}, year = {2008}, doi = {10.1109/ECBS.2008.40}, url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.40}, tags = {refinement, abstraction}, researchr = {https://researchr.org/publication/Enea08}, cites = {0}, citedby = {0}, pages = {126-135}, booktitle = {15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland}, publisher = {IEEE Computer Society}, }