Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg City Luxembourg March 27 – April 1 202

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 202 Jan Friso Groote, Kim Guldstrand Larsen
Categories:
Computers – Operating Systems
Volume:
Part II
Year:
2021
Publisher:
Springer
Language:
english
Pages:
476
ISBN 10:
3030720128
ISBN 13:
9783030720124
Series:
Lecture Notes in Computer Science, 12652
File:
120 MB