Evidential and Continuous Integration of Software Verification Tools

Tewodros Beyene und Harald Rueß

Formal Methods, pp. 679-685

2018 · Cham