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.

Issue

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

Section

Preface

License

Copyright (c) 2021 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.