Author:
Barrett Clark,de Moura Leonardo,Stump Aaron
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;D. Berre Le,2004
2. Lecture Notes in Computer Science;H. Jin,2005
3. Lerner, S., Millstein, T., Chambers, C.: Automatically Proving the Correctness of Compiler Optimizations. In: Gupta, R. (ed.) ACM SIGPLAN Conference on Programming Language Design and Implementation (2003) (received best paper award)
4. Pelletier, F.J., Sutcliffe, G., Suttner, C.B.: The Development of CASC. AI Communications 15(2-3), 79–90 (2002)
5. Ranise, S., Tinelli, C.: The SMT-LIB standard, version 1.1 (2005), Available from the “Documents” section of,
http://combination.cs.uiowa.edu/smtlib
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献