 | 2005 |
|---|
| 4 |       | Martin D. Davis:
Christos Papadimitriou, Turing: A Novel About Computation, MIT Press (2003).
Artif. Intell. 169(2): 209-210 (2005) |
| 1988 |
|---|
| 3 | | Martin D. Davis,
Elaine J. Weyuker:
Metric Space- Based Test-Data Adequacy Criteria.
Comput. J. 31(1): 17-24 (1988) |
| 1983 |
|---|
| 2 |  | Martin D. Davis,
Elaine J. Weyuker:
Computability, complexity, and languages - fundamentals of theoretical computer science.
Academic Press 1983: I-XIX, 1-425 |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page