Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project
PASTE, 2007.
@inproceedings{PASTE-2007-AikenBDDHH,
author = "Alex Aiken and Suhabe Bugrara and Isil Dillig and Thomas Dillig and Brian Hackett and Peter Hawkins",
booktitle = "{Proceedings of the Seventh Workshop on Program Analysis for Software Tools and Engineering}",
doi = "10.1145/1251535.1251543",
isbn = "978-1-59593-595-3",
pages = "43--48",
publisher = "{ACM}",
title = "{An overview of the saturn project}",
year = 2007,
}