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 - Vojnar, Tomáš; Zhang, Lijun (Springer Open, 2019)
Literaturangaben