Lifting Verification Results for Preemption Statements.

Manuel Gesell, Andreas Morgenstern, Klaus Schneider

Browse the full SEFM paper archive.