Author:
Albert Elvira,Alonso-Blas Diego Esteban,Arenas Puri,Correas Jesús,Flores-Montoya Antonio,Genaim Samir,Gómez-Zamalloa Miguel,Masud Abu Naser,Puebla German,Rojas José Miguel,Román-Díez Guillermo,Zanardini Damiano
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Lecture Notes in Computer Science;A. Adachi,1979
2. Lecture Notes in Computer Science;E. Albert,2009
3. Lecture Notes in Computer Science;E. Albert,2011
4. Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.: COSTABS: A Cost and Termination Analyzer for ABS. In: Procs. of PEPM 2012, pp. 151–154. ACM Press (2012)
5. Lecture Notes in Computer Science;E. Albert,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献