Authors: Antoy, S Hamlet, D

Citation: S. Antoy et D. Hamlet, Automatically checking an implementation against its formal specification, IEEE SOFT E, 26(1), 2000, pp. 55-69

Authors: Hamlet, D

Citation: D. Hamlet, John D. Gannon, 1948-1999 (Reprinted from Journal of Software Testing Verification, and Reliability, December, 1999), IEEE SOFT E, 25(6), 1999, pp. 745-746

Authors: Frankl, P Hamlet, D Littlewood, B Strigini, L

Citation: P. Frankl et al., Evaluating testing methods by delivered reliability (vol 24, pg 586, 1998), IEEE SOFT E, 25(2), 1999, pp. 286-286