Concepedia

J.C. Corbett

JC

Statistics

Publications

1

Citations

147

H-Index

1

Active since

2002

Affiliations

Kansas State University(Current)

J.C. Corbett is an author at Kansas State University specializing in formal specification, formal methods, and system software.

Top concepts

Publications per year

2002–2002

1

Publications

1

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 147 citations

, , +21

1–1 of 1