Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Fetzer, C., Weidenbach, C., & Wischnewski, P. (2016). Compliance, Functional Safety and Fault Detection by Formal Methods. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation (pp. 626-632). Berlin: Springer. doi:10.1007/978-3-319-47169-3_48.