fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: Tool Integration

Liste als BibTeX-Datei exportieren

2024

2018

  • Juli 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene und Harald Rueß In Formal Methods, Band 10951 von LNCS, Seiten 679-685, Juli 2018. Springer, Cham. Details DOI BIB