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

Stylianos Basagiannis, Anila Mjeda, Götz Botterweck

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.79.1125

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.79.1125.1063

Hosted By Universitätsbibliothek TU Berlin.