Publications

Modular verification of concurrent programs

• • Brent Hailpern
  • Susan Owicki
• 1982
• POPL 1982