IPD - Lehrstuhl Tichy - Programmiersysteme

Filterung zur Minimierung unkritischer Operationen und false positives in Programmabläufen