Basagiannis, Stylianos, Anila Mjeda, and Götz Botterweck. “Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)”. Electronic Communications of the EASST 79 (May 10, 2021). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/2244.