Statistics
Publications
1
Citations
10
H-Index
1
Active since
2007
Affiliations
IBM (United Kingdom)(Current)
Kathleen Sharp is an author at IBM (United Kingdom) specializing in formal methods, computer engineering, and system software.
Publications per year
2007–2007
1
1
Using SMT solvers to verify high-integrity programs
Paul B. Jackson, Bill J. Ellis, Kathleen Sharp · 2007 · 10 citations
1–1 of 1