Insight, Inspiration and Collaboration

DOI10.1007/978-1-84882-912-1_1zbMath1198.68001OpenAlexW1582748515MaRDI QIDQ3163395

A. W. Roscoe, Cliff B. Jones

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Related Items (1)

Fifty years of Hoare's logic

This page was built for publication: Insight, Inspiration and Collaboration