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}
}