Hubert Garavel Books
Tools and Algorithms for the Construction and Analysis of Systems
By Armin Biere
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place i...
Read More