Bernhard Steffen. Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung. PhD thesis, University of Kiel, Germany, 1987. [doi]
@phdthesis{dnb-8443,
title = {Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung},
author = {Bernhard Steffen},
year = {1987},
url = {http://d-nb.info/880633921},
researchr = {https://researchr.org/publication/dnb-8443},
cites = {0},
citedby = {0},
school = {University of Kiel, Germany},
}