Loading…

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

Saved in:
Bibliographic Details
Corporate Authors: TAP (Conference) Leicester, England), SpringerLink (Online service)
Other Authors: Prevosto, Virgile (Editor), Seceleanu, Cristina (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, [2023]
Series:Lecture notes in computer science ; 14066.
Physical Description:
1 online resource (xxii, 187 pages) : illustrations (some color).
Subjects:
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access