Auflistung nach Autor "Sinz, Carsten"
Anzeige der Dokumente 1-1 von 1
-
Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code
Farago, David; Merz, Florian; Sinz, Carsten
Anzeige der Dokumente 1-1 von 1
Farago, David; Merz, Florian; Sinz, Carsten