Using PVS to Prove a Z Refinement: A Case Study. - David W. J. Stringer-Calvert; Susan Stepney; Ian Wand (FME, 1997)

PVS: An Experience Report. - Sam Owre; John M. Rushby; Natarajan Shankar; David W. J. Stringer-Calvert (FM-Trends, 1998)

Mechanical verification of compiler correctness. - David William John Stringer-Calvert (1998)

NEVRLATE: Scalable Resource Discovery. - Ajay Chander; Steven Dawson; Patrick Lincoln; David W. J. Stringer-Calvert (CCGRID, 2002)

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. - Taeho Kim; David W. J. Stringer-Calvert; Sung Deok Cha (TACAS, 2002)

Digital Evidence. - David W. J. Stringer-Calvert (Commun. ACM, 2002)

Formal verification of functional properties of a SCR-style software requirements specification using PVS. - Taeho Kim; David W. J. Stringer-Calvert; Sung Deok Cha (Reliab. Eng. Syst. Saf., 2005)

BioWarehouse: a bioinformatics database warehouse toolkit. - Thomas J. Lee; Yannick Pouliot; Valerie Wagner; Priyanka Gupta; David W. J. Stringer-Calvert; Jessica D. Tenenbaum; Peter D. Karp (BMC Bioinform., 2006)