Author:
Lu Tianhan,Černý Pavol,Chang Bor-Yuh Evan,Trivedi Ashutosh
Publisher
Springer International Publishing
Reference31 articles.
1. DARPA space-time analysis for cybersecurity program (STAC). http://www.darpa.mil/program/space-time-analysis-for-cybersecurity
2. Scala library for parsing and printing the SMT-LIB format. https://github.com/regb/scala-smtlib
3. Lecture Notes in Computer Science;E Albert,2007
4. Albert, E., Genaim, S., Gomez-Zamalloa, M.: Heap space analysis for Java bytecode. In: Proceedings of the 6th International Symposium on Memory Management, pp. 105–116. ACM (2007)
5. Albert, E., Genaim, S., Gómez-Zamalloa Gil, M.: Live heap space analysis for languages with garbage collection. In: Proceedings of the 2009 International Symposium on Memory Management, pp. 129–138. ACM (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献