TACAS Preface

Tomas Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondrej Lengal, Ernst Moritz Hahn

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Original languageEnglish
Title of host publicationTools 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
Number of pages3
Volume11429 LNCS
PublisherSpringer
Publication date2019
Pagesvii-ix
ISBN (Print)978-3-030-17501-6
ISBN (Electronic)978-3-030-17502-3
DOIs
Publication statusPublished - 2019
Event25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prague, Czech Republic
Duration: 6 Apr 201911 Apr 2019

Conference

Conference25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Country/TerritoryCzech Republic
CityPrague
Period06/04/201911/04/2019
SeriesLecture Notes in Computer Science
Volume11429
ISSN0302-9743

Cite this