Charles T. Cook

CT

7

Publications

118

Citations

7

H-Index

1961

Active since

Charles T. Cook is an author at Johns Hopkins University specializing in engineering, formal methods, and automated reasoning.

Publications per year

1961–2013

7

Publications

7