Martin Hofmann, Ulrich Schöpp
Pointer Programs and Undirected Reachability
LICS, 2009.
@inproceedings{LICS-2009-HofmannS, author = "Martin Hofmann and Ulrich Schöpp", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.41", isbn = "978-0-7695-3746-7", pages = "133--142", publisher = "{IEEE Computer Society}", title = "{Pointer Programs and Undirected Reachability}", year = 2009, }