Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Brent Hailpern, Susan Owicki
POPL 1982
Van Nguyen, Brent Hailpern
OOPWORK 1986
Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Brent Hailpern, Padmanabhan Santhanam
IBM Systems Journal