Peter O'Hearn

Peter O'Hearn

Books

Co-authored books and collections

Books that list Peter O'Hearn among their authors but not as the lead author: co-written works, collections and compilations.

ALGOL-like languagesR. D. Tennent

ALGOL-like languages

R. D. Tennent · 1996

Verified Software : Theories, Tools, ExperimentsGary T. Leavens

Verified Software : Theories, Tools, Experiments

Gary T. Leavens · 2010