TY  - BOOK
AU  - Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
TI  - Theoretical Aspects of Computing – ICTAC 2022
SN  - 9783031177156
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-17715-6
ER  -