Year of Publication 12.07.2022

by Ribeiro, Pedro, Sampaio, Augusto
Year of Publication 2019

by Broy, M, Leuxner, C, Hoare, T
Year of Publication 2011

by Broy, M, Sitou, W, Hoare, T
Year of Publication 2009

by Broy, M, Grünbauer, J, Hoare, T
Year of Publication 2007

by Abdallah, Ali E, Jones, Cliff B, Sanders, Jeff W
Year of Publication 2005

by Wang, Yingxu, Widrow, Bernard, Hoare, C. A. R., Pedrycz, Witold, Berwick, Robert C., Plataniotis, Konstantinos N., Rudas, Imre J., Lu, Jianhua, Kacprzyk, Janusz
Published in Frontiers in computer science (Lausanne) (19.05.2023)

by Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.
Published in Information processing letters (16.08.2009)

by BICARREGUI, J. C, HOARE, C. A. R, WOODCOCK, J. C. P
Published in Formal aspects of computing (01.06.2006)

by Hoare, C.A.R.
Published in IEEE annals of the history of computing (01.04.2003)

by C. A. R. Hoare, F. K. Hanna
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (01.10.1984)

Year of Publication 2019

by Gerard Berry, C. A. R. Hoare, W. A. Hunt
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (15.04.1992)

by Jifeng, He, Hoare, C.A.R.
Published in Information processing letters (26.02.1993)

by Hoare, C. A. R., Misra, Jayadev
Published in Theories of Programming (04.10.2021)

by Hoare, C. A. R.
Published in Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation (01.01.2005)

by Broy, Manfred, Grünbauer, Johannes, Harel, David, Hoare, Tony
Year of Publication 2005

by C. H. Pygott, C. A. R. Hoare, W. A. Hunt, M. Fourman
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (15.04.1992)

Year of Publication 2005

by Hoare, C A R
Published in Journal of systems architecture (01.04.1996)