Select
Explore
keyword: Automated and Formal Reasoning – 2 free books.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Ahmed Irfan and Daniela Kaufmann, editors
AVAILABLE!
Login to Fave
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
AVAILABLE!
Login to Fave