Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
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
Section
Preface
License
Copyright (c) 2021 Electronic Communications of the EASST
This work is licensed under a Creative Commons Attribution 4.0 International License.