Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/tacas/2022-2
ED - Fisman, Dana
ED - Rosu, Grigore
TI - Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
T3 - Lecture Notes in Computer Science
VL - 13244
PY - 2022//
PB - Springer
DO - 10.1007/978-3-030-99527-0
UR - https://doi.org/10.1007/978-3-030-99527-0
SN - ISBN 978-3-030-99526-3
SN - ISBN 978-3-030-99527-0
ER -
