Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)

Stylianos Basagiannis, Anila Mjeda, Götz Botterweck. Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). ECEASST, 79, 2020. [doi]

Abstract

Abstract is missing.