Research Areas
Research Labs
Workshops
Publications
Technical Reports
|
BibTex in ASCII
-
@ARTICLE{hendren:624, author = "Ondrej Lhot{\'a}k and Laurie J. Hendren", title = "Relations as an abstraction for BDD-based program analysis", pages = "1--63", journal = "ACM Transactions on Programming Languages and Systems", volume = "30", number = "4", year = 2008}
|
