Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018

Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./24th International Conference, TACAS 2018 Held as Part of the Europen Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018Ed. by Beyer D., Huisman M..-Berlin.: Springer, 2018.-Vol. 10805.-429 p.-(Lecture Notes in Computer Science).