P. A. V. Hall

Relationship between specifications and testing

P. A. V. Hall, P. Hall, 1991 .

Hypertext systems and applications

P. A. V. Hall, S. Papadopoulos, P. Hall, 1990 .

Nuclear Electric’s Contributions to the CONTESSE Testing Framework and its Early Application

John H R May, Hong Zhu, A. D. Lunn, 1995 .