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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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 |
Copy 1 | CMU Electronic Access | Available |
---|