Skip to content

Checking concurrent contracts with aspects.

Eric Kerfoot, Steve McKeever

Year2010
ProceedingsSAC

Browse the full SAC paper archive.