by Jifeng, He
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Gordon, Mike, Collavizza, Hélène
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Kiselyov, Oleg, Jones, Simon Peyton, Shan, Chung-chieh
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Jones, C. B.
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Woodcock, Jim, Aydal, Emine Gökçe, Chapman, Rod
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Roscoe, A. W.
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Jackson, Michael
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Meyer, Bertrand, Kogtenkov, Alexander, Stapf, Emmanuel
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Jones, C. B., Roscoe, A. W.
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Abramsky, Samson
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Kitchin, David, Quark, Adrian, Misra, Jayadev
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Haase, Christoph, Ouaknine, Joël, Worrell, James
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by van Glabbeek, Rob, Plotkin, Gordon
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Borgström, Johannes, Gordon, Andrew D., Pucella, Riccardo
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by McIver, A. K., Morgan, C. C.
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Bjørner, Dines
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)

by Bundgaard, Mikkel, Milner, Robin
Published in Reflections on the Work of C.A.R. Hoare (21.07.2010)