Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, proceedings. Part II /

Corporate Authors: TACAS Conference Prague, Czech Republic; ETAPS Conference Prague, Czech Republic
Group Author: Vojnar, Tomáš; Zhang, Lijun, 1979
Published: Springer,
Publication Dates: [2019]
Call Number: TP338.8-532/T671/2019/pt.2