Endowed professorship for reliable software systems in the automotive industry

Bug Finding Techniques