Loopus - A Tool for Computing Loop Bounds for C Programs (bibtex)
by Florian Zuleger, Moritz Sinn
Reference:
Loopus - A Tool for Computing Loop Bounds for C ProgramsFlorian Zuleger, Moritz SinnProceedings of the 3rd Workshop on Invariant Generation (WING), 2010.
Bibtex Entry:
@inproceedings{zulger:sinn:wing2010,
  author = {Florian Zuleger and Moritz Sinn},
  title = {Loopus - A Tool for Computing Loop Bounds for C Programs},
  year = {2010},
  booktitle = {Proceedings of the 3rd Workshop on Invariant Generation (WING)}
}
Powered by bibtexbrowser