Automated Deduction – CADE 30 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings Barrett, Clark Heftet / 2025 / Engelsk
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Barrett, Clark Heftet / 2017 / Engelsk
