Software Verification "Across the Stack" (Invited Talk).

Alexander J. Summers

Browse the full ECOOP paper archive.