Topic: Automated and Formal Reasoning
Topic: Formal Methods
Similar Items: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
- Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
- Computer Aided Verification
- Automated Deduction – CADE 28
- Computer Aided Verification