Concepedia

Christopher Derrick

CD

Statistics

Publications

1

Citations

10

H-Index

1

Active since

2010

Affiliations

IBM (United States)(Current)

Christopher Derrick is an author at IBM (United States) specializing in formal verification, software engineering, and system software.

Top concepts

Publications per year

2010–2010

1

Publications

1

GEM

Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan et al. · 2010 · 10 citations

, , +17

1–1 of 1