2
Publications
35
Citations
2
H-Index
2017
Active since
Affiliations
Toby Cathcart Burn is an author at University of Oxford specializing in formal verification, formal methods, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceProof ComplexityLogic ProgrammingAutomated ReasoningFormal Verification
Publications per year
2017–2018
2
2
Rows per page
1–2 of 2