Evidential and Continuous Integration of Software Verification Tools

Tewodros Beyene and Harald Rueß

Formal Methods, pp. 679-685

2018 · Cham