This page shows all presentations of this author published in EasyChair Smart Slide.
Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry
Bernard Schmidt