Tools and Algorithms for the Construction and Analysis of Systems
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ET...
| Main Authors: | , |
|---|---|
| Format: | Book |
| Published: |
Springer Nature Switzerland
2025
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |