Dave Cummings

DC

Statistics

Publications

2

Citations

1.4K

H-Index

2

Active since

2006

Dave Cummings is an author specializing in software maintenance, software engineering, and formal verification.

Publications per year

2006–2021

2

Publications

2