Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Paper
Realizing the potential of data science
Related
Conference paper
A generalized object model
Van Nguyen, Brent Hailpern
OOPWORK 1986
Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Brent Hailpern, Padmanabhan Santhanam
IBM Systems Journal