Brent Hailpern, Padmanabhan Santhanam
IBM Systems Journal
Paper
Realizing the potential of data science
Related
Jungwook Choi, Ameya D. Patii, et al.
ICASSP 2016
Conference paper
Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
POPL 1982
Brent Hailpern, Tien Huynh, et al.
IEEE Transactions on Software Engineering