Conference paper
A generalized object model
Van Nguyen, Brent Hailpern
OOPWORK 1986
Paper
Realizing the potential of data science
Related
Mark R. Laff, Brent Hailpern
ACM SIGPLAN Notices
Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Van Nguyen, Brent Hailpern
ACM SIGPLAN Notices