Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(7)
Formal Methods in Verification
(7)
Parallel Computing and Optimization Techniques
(3)
Software Testing and Debugging Techniques
(2)
Logic, Reasoning, and Knowledge
(2)
Affiliations
University of Cambridge