60400

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics Held as Part of ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings, Part III

Switzerland Springer

2019

280

9783030175023

انگليسي

TOOLympics 2019 , Confluence Competition , Runtime Verification