Contributions to Proceedings:

J. Knoop, W. Zimmermann:
"On the Role of Non-Functional Properties in Compiler Verification";
in: "4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)", T. Margaria, B. Steffen (ed.); issued by: Springer-Verlag, Heidelberg; Springer-Verlag, Heidelberg, LNCS 6416, 2010, ISBN: 3-642-16560-5, 491 - 495.

Created from the Publication Database of the Vienna University of Technology.