Tools and algorithms for the construction and analysis of systems : : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II .
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Soft...
Saved in:
| Superior document: | Lecture notes in computer science v.13244 |
|---|---|
| TeilnehmendeR: | |
| Year of Publication: | 2022 |
| Language: | English |
| Series: | Lecture notes in computer science
13244. |
| Physical Description: | 1 online resource (xxi, 493 pages) :; illustrations. |
| Notes: | Description based upon print version of record. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
| DOAB Directory of Open Access Books | Available |