ETAPS Foreword

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

6 Downloads (Pure)
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
EditorsDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Place of PublicationCham
PublisherSpringer
Pagesv-vi
Number of pages2
ISBN (Electronic)978-3-030-17502-3
ISBN (Print)978-3-030-17501-6
Publication statusPublished - 2019
EventEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Orea Hotel Pyramida, Prague, Czech Republic
Duration: 6 Apr 201911 Apr 2019
Conference number: 22

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11429
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameTheoretical Computer Science and General Issues
PublisherSpringer

Conference

ConferenceEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2019
Abbreviated titleETAPS 2019
CountryCzech Republic
CityPrague
Period6/04/1911/04/19

Cite this