Authors: Tracey, N Penix, J Visser, W

Citation: N. Tracey et al., The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000), SOFTW TEST, 11(2), 2001, pp. 63-64

Authors: Havelund, K Lowry, M Penix, J

Citation: K. Havelund et al., Formal analysis of a space-craft controller using SPIN, IEEE SOFT E, 27(8), 2001, pp. 749-765

Authors: Lawrence, E Lord, ST Leon, Y McIntyre, PJ Penix, J Grebenev, D Vesely, DL

Citation: E. Lawrence et al., Tall cell papillary thyroid carcinoma metastatic to femur: Evidence for thyroid hormone synthesis within the femur, AM J MED SC, 322(2), 2001, pp. 103-108