14 public-domain matches
Formal Methods
Computer Aided Verification
Fundamental Approaches to Software Engineering
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
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 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Reversible Computation: Extending Horizons of Computing
Tools and Algorithms for the Construction and Analysis of Systems
Traditional methods of pattern designing
