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 |