Autore: Laura Kovacs

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and …

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full researc …

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, Canada, during August 5-9, 2024. The 21 f …

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.The 13 full papers incl …