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 Part II

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, Part II Dana Fisman, Grigore Rosu
Categories:
Computers – Algorithms and Data Structures
Volume:
Part II
Year:
2022
Publisher:
Springer
Language:
english
Pages:
506
ISBN 10:
3030995267
ISBN 13:
9783030995263
Series:
Lecture Notes in Computer Science, 13244
File:
167 MB