On the Concept of Variable Roles and its Use in Software Analysis (bibtex)
by Yulia Demyanova, Helmut Veith, Florian Zuleger
Reference:
On the Concept of Variable Roles and its Use in Software AnalysisYulia Demyanova, Helmut Veith, Florian ZulegerFMCAD, pages 226-229, 2013.
Bibtex Entry:
@inproceedings{DVZfmcad13,
  author	= {Yulia Demyanova and
				Helmut Veith and
				Florian Zuleger},
  title		= {On the Concept of Variable Roles and its Use in Software Analysis},
  booktitle = {FMCAD},
  year		= {2013},
  pages		= {226--229},
  url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/papers/61-Variable-Roles.pdf},
  keywords = {verifolio}
}
Powered by bibtexbrowser