Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings /

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), a...

Full description

Bibliographic Details

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