John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby. Foundations of the Bandera Abstraction Tools. In Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough, editors, The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Volume 2566 of Lecture Notes in Computer Science, pages 172-203, Springer, 2002. [doi]
@inproceedings{HatcliffDPR02,
title = {Foundations of the Bandera Abstraction Tools},
author = {John Hatcliff and Matthew B. Dwyer and Corina S. Pasareanu and Robby},
year = {2002},
doi = {http://link.springer.de/link/service/series/0558/bibs/2566/25660172.htm},
tags = {abstraction},
researchr = {http://researchr.org/publication/HatcliffDPR02},
cites = {0},
citedby = {0},
pages = {172-203},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
editor = {Torben Æ. Mogensen and David A. Schmidt and Ivan Hal Sudborough},
volume = {2566},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00326-6},
}