Basagiannis, Stylianos, Anila Mjeda, and Götz Botterweck. 2021. “Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)”. Electronic Communications of the EASST 79 (May). https://doi.org/10.14279/tuj.eceasst.79.1125.