Author:
Anderson Hugh,Khoo Siau-Cheng,Andrei Stefan,Luca Beatrice
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Precise Cost Analysis via Local Reasoning;Automated Technology for Verification and Analysis;2013
2. On the Limits of the Classical Approach to Cost Analysis;Static Analysis;2012
3. POP* and Semantic Labeling Using SAT;Interfaces: Explorations in Logic, Language and Computation;2010