37:30Model Checking: SMT-Based Software Model Checking - Dirk BeyerINI Seminar Room 2470 viewsView & Download