Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer*, Marieke Huisman*

*Corresponding author for this work

Research output: Contribution to journalEditorialAcademic

64 Downloads (Pure)
Original languageEnglish
Pages (from-to)1331-1332
Number of pages2
JournalJournal of automated reasoning
Issue number7
Early online date24 Sept 2020
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


  • UT-Hybrid-D

Cite this