Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019

Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019Ed. by Beyer D., Huisman M., Kordon F., Steffen B..-Berlin.: Springer, 2019.-Vol. 11429.-258 p.-(Lecture Notes in Computer Science).