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

Dirk Beyer (Editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor)

    Research output: Book/ReportBook editingAcademic

    33 Downloads (Pure)
    Original languageEnglish
    PublisherSpringer
    ISBN (Electronic)978-3-030-17502-3
    ISBN (Print)978-3-030-17501-6
    DOIs
    Publication statusPublished - 2019
    EventTOOLympics 2019 - Prague, Czech Republic
    Duration: 6 Apr 20197 Apr 2019

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume11429

    Cite this