Bound Analysis of Imperative Programs with the Size-Change Abstraction (bibtex)
by Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Reference:
Bound Analysis of Imperative Programs with the Size-Change AbstractionFlorian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut VeithSAS, pages 280-297, 2011.
Bibtex Entry:
@inproceedings{ZulegerGSV11,
title = {Bound Analysis of Imperative Programs with the Size-Change Abstraction},
url = {/pubpdf/Bound_Analysis_of_Imperative_Programs_with_the_Size-Change_Abstraction.pdf},
booktitle = {SAS},
author = {Florian Zuleger and Sumit Gulwani and Moritz Sinn and Helmut Veith},
year = {2011},
pages = {280-297},
}
Powered by bibtexbrowser