Panagiotis Manolios, Daron Vroon
Integrating static analysis and general-purpose theorem proving for termination analysis
ICSE, 2006.
@inproceedings{ICSE-2006-ManoliosV,
author = "Panagiotis Manolios and Daron Vroon",
booktitle = "{Proceedings of the 28th International Conference on Software Engineering}",
doi = "10.1145/1134438",
editor = "Leon J. Osterweil and Hans Dieter Rombach and Mary Lou Soffa",
isbn = "1-59593-375-1",
pages = "873--876",
publisher = "{ACM}",
title = "{Integrating static analysis and general-purpose theorem proving for termination analysis}",
year = 2006,
}