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