Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer*, Marieke Huisman*

*Corresponding author for this work

Research output: Contribution to journalEditorialAcademic

9 Downloads (Pure)
Original languageEnglish
Pages (from-to)1331-1332
JournalJournal of automated reasoning
Volume64
Issue number7
Early online date24 Sep 2020
DOIs
Publication statusPublished - 1 Oct 2020
Event24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 - Makedonia Palace, Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
Conference number: 24
https://etaps.org/2018/tacas

Keywords

  • UT-Hybrid-D

Cite this