Verifying opacity by abstract interpretation.

Isabella Mastroeni, Michele Pasqua

Browse the full SAC paper archive.