Martin D. Davis

2005
3	EE	Martin D. Davis: Christos Papadimitriou, Turing: A Novel About Computation, MIT Press (2003). Artif. Intell. 169(2): 209-210 (2005)
1988
2		Martin D. Davis, Elaine J. Weyuker: Metric Space- Based Test-Data Adequacy Criteria. Comput. J. 31(1): 17-24 (1988)
1983
1		Martin D. Davis, Elaine J. Weyuker: A Formal Notion of Program-Based Test Data Adequacy Information and Control 56(1/2): 52-71 (1983)

Coauthor Index

1

Elaine J. Weyuker

[1] [2]