Statistics
Publications
1
Citations
23
H-Index
1
Active since
2007
Affiliations
ASTER(Current)
Judith Carlton is an author at ASTER specializing in formal methods, automated reasoning, and system software.
Publications per year
2007–2007
1
1
Verification of C Programs Using Automated Reasoning
D. Crocker, Judith Carlton · 2007 · 23 citations
Rows per page
1–1 of 1