Ofer Strichman, Maor Veitsman
Regression Verification for Unbalanced Recursive Functions
FM, 2016.
@inproceedings{FM-2016-StrichmanV,
author = "Ofer Strichman and Maor Veitsman",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_39",
isbn = "978-3-319-48988-9",
pages = "645--658",
title = "{Regression Verification for Unbalanced Recursive Functions}",
year = 2016,
}