Brent Hailpern, Tien Huynh, et al.
IEEE Transactions on Software Engineering
Paper
Realizing the potential of data science
Related
Brent Hailpern, Peri Tarr
IBM Systems Journal
Brent Hailpern, Harold Ossher
IEEE Transactions on Software Engineering
Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982