Author:
Francis Kathryn,Stuckey Peter J.
Publisher
Springer International Publishing
Reference19 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D., Lam, M.S.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley (2006)
2. Aleen, F., Clark, N.: Commutativity analysis for software parallelization: letting program transformations see the big picture. ACM Sigplan Notices 44(3), 241–252 (2009)
3. Armando, A., Mantovani, J., Platania, L.: Bounded model checking of software using SMT solvers instead of SAT solvers. International Journal on Software Tools for Technology Transfer 11(1), 69–83 (2009)
4. Brandwijk, P.: Verifying software with SMT and random testing using a single property specification. Master’s thesis, University of Amsterdam (2012)
5. Lecture Notes in Computer Science;A. Brodsky,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献