Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs (bibtex)
by Moritz Sinn, Florian Zuleger, Helmut Veith
Reference:
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsMoritz Sinn, Florian Zuleger, Helmut VeithFormal Methods in Computer-Aided Design (FMCAD) (Roope Kaivola, Thomas Wahl, eds.), pages 144-151, 2015, IEEE.
Bibtex Entry:
@inproceedings{SZV15:FMCAD,
 author    = {Moritz Sinn and
               Florian Zuleger and
               Helmut Veith},
  title     = {Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
  publisher = {{IEEE}},
  pages     = {144-151},
  year      = {2015},
  editor    = {Kaivola, Roope and Wahl, Thomas}
}
Powered by bibtexbrowser