hide
Title:
Tools and Algorithms for the Construction and Analysis of Systems
Abbreviation
:
TACAS 2020
Subtitle
:
26th International Conference, TACAS 2020 ; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 ; Dublin, Ireland, April 25–30, 2020 ; Proceedings, Part I
Source Genre:
Proceedings
Creator(s):
Biere, Armin, Editor
Parker, David, Editor
Affiliations:
-
Publ. Info:
Berlin : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
58 - 76
Identifier:
ISBN: 978-3-030-45189-9