Patrick Cousot
0000-0003-0101-9953
Publications
204 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Logic, Reasoning, and Knowledge
Security and Verification in Computing
Affiliations
Courant Institute of Mathematical Sciences
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.