On the Role of Non-functional Properties in Compiler Verification.

Jens Knoop, Wolf Zimmermann

Browse the full ISoLA paper archive.