Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Faqeh, R., Fetzer, C., Hermanns, H., Hoffmann, J., Klauck, M., Köhl, M. A., et al. (2020). Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (pp. 416-439). Berlin: Springer. doi:10.1007/978-3-030-61470-6_25.