Tewodros A. Beyene, Harald Ruess
Evidential and Continuous Integration of Software Verification Tools
FM, 2018.
@inproceedings{FM-2018-BeyeneR,
author = "Tewodros A. Beyene and Harald Ruess",
booktitle = "{Proceedings of the 22nd International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-95582-7_45",
isbn = "['978-3-319-95581-0', '978-3-319-95582-7']",
pages = "679--685",
publisher = "{Springer}",
title = "{Evidential and Continuous Integration of Software Verification Tools}",
year = 2018,
}
Tags: