Concepedia

Author

D.J. Evans

University of Technology

Also Known As

D.J. Evans, Dennis Evans, Dennis J. Evans

10

Publications

88

Citations

3

H-Index

8

Concepts

All Affiliations

University of Technology
DE

About

D.J. Evans is an author at University of Technology specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

82

2

Computer Science

1

1

82

3

Software Testing

1

1

82

4

Automated Reasoning

1

1

82

5

Formal Methods

1

1

82

D.J. Evans

×

1

Publications

82

Citations

1

H-Index

YearCitations

Computer logic, testing and verification

D.J. Evans

Journal of the Franklin Institute

1981

82

Page 1