Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Brent Hailpern, Susan Owicki
POPL 1982
Brent Hailpern, Peri Tarr
IBM Systems Journal
Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Van Nguyen, Brent Hailpern
ACM SIGPLAN Notices