VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings von Bjørner, D, Hoare, C. A. R, Langmaack, H

Volltext

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings von Ribeiro, Pedro, Sampaio, Augusto

Volltext

Edsger Wybe Dijkstra: His Life, Work, and Legacy von Apt, Krzysztof R, Hoare, Tony

Volltext

The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics von Wang, Yingxu, Widrow, Bernard, Hoare, C. A. R., Pedrycz, Witold, Berwick, Robert C., Plataniotis, Konstantinos N., Rudas, Imre J., Lu, Jianhua, Kacprzyk, Janusz

Volltext

The verified software initiative: A manifesto von Hoare, C.A.R., Misra, Jayadev, Leavens, Gary T., Shankar, Natarajan

Volltext

Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers von Abdallah, Ali E, Jones, Cliff B, Sanders, Jeff W

Volltext

Graphical models of separation logic von Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.

Volltext

Friends as Family: Using Composite Psychotherapy Case Material to Explore the Importance of Friendships for Unaccompanied Adolescent Refugees Coping with the Challenges of Resettle... von Hoare, Rachel

Volltext

A theory of communicating sequential processes von BROOKES, S. D, HOARE, C. A. R, ROSCOE, A. W

Volltext

The verified software repository : a step towards the verifying compiler von BICARREGUI, J. C, HOARE, C. A. R, WOODCOCK, J. C. P

Volltext

A calculus of durations von Chaochen, Zhou, Hoare, C.A.R., Ravn, Anders P.

Volltext

Linking Theories of Concurrency von Jifeng, He, Hoare, C. A. R.

Volltext

Assertions: a personal perspective von Hoare, C.A.R.

Volltext

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Volltext

Preface to special issue on software verification von Hoare, C. A. R., Misra, Jayadev

Volltext

A Trace Model for Pointers and Objects von Hoare, C. A. R., Jifeng, He

Volltext

SPECIAL ISSUE ON SOFTWARE VERIFICATION von HOARE, C. A. R, MISRA, Jayadev

Volltext

Strategic directions in concurrency research von CLEAVELAND, R, SMOLKA, S. A, GROOTE, J. F, HENZINGER, T. A, HOARE, C. A. R, LUGINBUHL, D, MEYER, A, MILLER, D, MISRA, J, MOLLER, F, MONTANARI, U, PNUELI, A, ALUR, R, PRASAD, S, PRATT, V. R, SIFAKIS, J, STEFFEN, B, THOMSEN, B, VAANDRAGER, F, VARDI, M, WOLPER, P, BAETEN, J, BERGSTRA, J. A, BEST, E, DE NICOLA, R, GILL, H, GORRIERI, R, GOUDA, M. G

Volltext

Language Hierarchies and Interfaces: International Summer School von Bauer, Friedrich L, Dijkstra, E. W, Ershov, A, Griffiths, M, Hoare, C. A. R, Wulf, W. A, Samelson, Klaus

Volltext

Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle von Hoare, C. A. R.

Volltext