AAbstrakte Interpretationen beim Optimieren von ProgrammlaufzAbstrakte Interpretationen beim Optimieren von Programmlaufzeitende Bernhard SteffenEdiciones (1)Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten (1987)alemánMás obras de Bernhard SteffenCorrect system designGrundlagen Der Hheren Informatik Induktives VorgehenMathematical Foundations of Advanced Informatics : Volume 1
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
