Theory and Implementation of Software Bounded Model Checking - Merz, Florian (Verfasser); Sinz, C. (Akademischer Betreuer) (KIT-Bibliothek, 2016)