Tests and proofs. 17th international conference, TAP 2023, Leicester, UK, July 18--19, 2023. Proceedings

DOI10.1007/978-3-031-38828-6zbMATH Open1525.68002MaRDI QIDQ6116455

No author found.

Publication date: 12 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Tests and proofs. 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings

This page was built for publication: Tests and proofs. 17th international conference, TAP 2023, Leicester, UK, July 18--19, 2023. Proceedings