Clark Barrett

Identifiers

Open LibraryOL7877214A

Top Subjects

Mathematics (1)

Books by Clark Barrett

Total count: 5

Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning

Association for Computing Machinery2008-01-01
NASA Formal Methods9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Springer2017-04-09
Algorithms for Verifying Deep Neural Networks

Now Publishers2021-01-01
Identifying and Mitigating the Security Risks of Generative AI

Now Publishers2024-01-01
Automated Deduction : CADE 3030th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings

Springer2025-01-01