Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
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}