Resource Analysis of Complex Programs with Cost Equations

From MaRDI portal
Publication:2789051

DOI10.1007/978-3-319-12736-1_15zbMath1453.68047OpenAlexW110849379MaRDI QIDQ2789051

Antonio Flores-Montoya, Reiner Hähnle

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_15



Related Items