Authors: Utting, M Reeves, S

Citation: M. Utting et S. Reeves, Teaching formal methods lite via testing, SOFTW TEST, 11(3), 2001, pp. 181-195

Authors: Hayes, IJ Utting, M

Citation: Ij. Hayes et M. Utting, A sequential real-time refinement calculus, ACT INFORM, 37(6), 2001, pp. 385-448

Authors: Dahse, R Utting, M Werner, W Schubert, J Claussen, U Junker, K

Citation: R. Dahse et al., Prognostic significance of mutations in the p53 gene in superficial bladder cancer, ONCOL REP, 7(5), 2000, pp. 931-936

Authors: Utting, M Agricola, HJ Sandeman, R Sandeman, D

Citation: M. Utting et al., Central complex in the brain of crayfish and its possible homology with that of insects, J COMP NEUR, 416(2), 2000, pp. 245-261