C.-H. Luke Ong, Nikos Tzevelekos
Functional Reachability
LICS, 2009.
@inproceedings{LICS-2009-OngT, author = "C.-H. Luke Ong and Nikos Tzevelekos", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.48", isbn = "978-0-7695-3746-7", pages = "286--295", publisher = "{IEEE Computer Society}", title = "{Functional Reachability}", year = 2009, }