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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.