9783030720162.pdf
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Softw...
Γλώσσα: | English |
---|---|
Έκδοση: |
Springer Nature
2021
|
Διαθέσιμο Online: | https://www.springer.com/9783030720162 |