Author:
Albert Elvira,Correas Jesús,Román-Díez Guillermo
Publisher
Springer International Publishing
Reference19 articles.
1. Albert, E., Arenas, P., Correas, J., Genaim, S., Gómez-Zamalloa, M., Puebla, G., Román-Díez, G.: Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25(3), 218–271 (2015)
2. Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. J. Autom. Reasoning 46(2), 161–203 (2011)
3. Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost analysis of object-oriented bytecode programs. Theoret. Comput. Sci. Spec. Issue Quant. Aspects Program. Lang. 413(1), 142–159 (2012)
4. Lecture Notes in Computer Science;E Albert,2015
5. Lecture Notes in Computer Science;E Albert,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献