Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings /

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Met...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Huisman, Marieke (Editor), Howar, Falk (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edition:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 15153
Subjects:	Reasoning. Computer science. Informal Logic. Models of Computation.
Online Access:	https://doi.org/10.1007/978-3-031-72044-4
Tags:	Add Tag No Tags, Be the first to tag this record!