Modular Verification of Concurrent Programs

Brent Hailpern, Susan S. Owicki. Modular Verification of Concurrent Programs. In POPL. pages 322-336, 1982.

Bibliographies