Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Arkoudas, K.: Athena, http://www.cag.csail.mit.edu/~kostas/dpls/athena
2. Arkoudas, K.: Denotational Proof Languages. PhD dissertation, MIT (2000)
3. Arkoudas, K., Khurshid, S., Marinov, D., Rinard, M.: Integrating model checking and theorem proving for relational reasoning. In: Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), Malente, Germany (May 2003)
4. Arvizo, T.: A virtual machine for a type-ω denotational proof language. Masters thesis, MIT (June 2002)
5. Lecture Notes in Computer Science;T. Ball,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献