Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
State Space Reduction Based on Live Variables Analysis
SAS, 1999.
@inproceedings{SAS-1999-BozgaFG, author = "Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu", booktitle = "{Proceedings of the Sixth International Static Analysis Symposium}", doi = "10.1007/3-540-48294-6_11", isbn = "3-540-66459-9", pages = "164--178", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{State Space Reduction Based on Live Variables Analysis}", volume = 1694, year = 1999, }