Crossmark

Selected and Extended Papers from TACAS 2018: Preface

Crossref DOI link: https://doi.org/10.1007/s10817-020-09575-8

Published Online: 2020-09-24

Published Print: 2020-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Huisman, Marieke https://orcid.org/0000-0003-4467-072X
Funding

Funding for this research was provided by:

Ludwig-Maximilians-Universität München
License Information

Text and Data Mining valid from 2020-09-24

Version of Record valid from 2020-09-24
More Information

Article History

Received: 25 June 2020

Accepted: 11 July 2020

First Online: 24 September 2020