Eitemau Tebyg: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
- 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 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
- Computer Aided Verification
- Automated Deduction – CADE 28
- Computer Aided Verification
Pwnc: Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
- Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Pwnc: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
- The Impact of Digital Technologies on Public Health in Developed and Developing Countries
- Fundamental Approaches to Software Engineering
- Tools and Algorithms for the Construction and Analysis of Systems
- Informing Possible Future Worlds
- Artificial Intelligence and Cognitive Science
- Fundamental Approaches to Software Engineering