Evidential and Continuous Integration of Software Verification Tools.

Tewodros A. Beyene, Harald Ruess

Browse the full FM paper archive.