10 Millionen Euro für die Sicherheit
24.11.2011
Nach erneuter erfolgreicher Begutachtung durch die Deutsche Forschungsgemeinschaft (DFG) wird der vor acht Jahren ins Leben gerufene transregionale Sonderforschungsbereich (SFB/TR 14) „Automatic Verification and Analysis of...