Statistics
Publications
3
Citations
68
H-Index
3
Active since
2006
Affiliations
Praxis(Current)
Janet Barnes is an author at Praxis specializing in computer science, software verification, and formal methods.
Publications per year
2006–2024
3
3
An Integrated Approach to High Integrity Software Verification
Andrew Ireland, Bill J. Ellis, A. Cook et al. · Journal of Automated Reasoning · 2006 · 14 citations
1–3 of 3