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

Authors

  • Stylianos Basagiannis
  • Anila Mjeda
  • Götz Botterweck

DOI:

https://doi.org/10.14279/tuj.eceasst.79.1125

Downloads

Published

2021-05-10

How to Cite

[1]
S. Basagiannis, A. Mjeda, and G. Botterweck, “Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)”, eceasst, vol. 79, May 2021.