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]

@article{BasagiannisMB20,
  title = {Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)},
  author = {Stylianos Basagiannis and Anila Mjeda and Götz Botterweck},
  year = {2020},
  doi = {10.14279/tuj.eceasst.79.1125.1063},
  url = {https://doi.org/10.14279/tuj.eceasst.79.1125.1063},
  researchr = {https://researchr.org/publication/BasagiannisMB20},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {79},
}