USENIX Conference Policies
Loop Refinement Using Octagons and Satisfiability
BibTeX
@inproceedings {267110,
author = {Volker Kamin and Thomas Noll and Software Modelling and Verification Group},
title = {Loop Refinement Using Octagons and Satisfiability},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/loop-refinement-using-octagons-and-satisfiability},
publisher = {USENIX Association},
month = oct
}
author = {Volker Kamin and Thomas Noll and Software Modelling and Verification Group},
title = {Loop Refinement Using Octagons and Satisfiability},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/loop-refinement-using-octagons-and-satisfiability},
publisher = {USENIX Association},
month = oct
}