Title

Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022. Part 2

Title Supplement

Held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

Editor(s)

Fisman, Dana

Publisher

Publication Date

2022

Series

Lecture notes in computer science; 13244

ISBN

978-3-030-99526-3

978-3-030-99527-0

Conference

Acronym

TACAS

ETAPS

Language

English