Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins. An overview of the saturn project. In Manuvir Das, Dan Grossman, editors, Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 07, San Diego, California, USA, June 13-14, 2007. pages 43-48, ACM, 2007. [doi]
Abstract is missing.