Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors.

Klaus Wissing

Browse the full GI paper archive.