Neue Technologien als Problem und Hilfe in der Verifikation

Frankfurt a. M., 21.-22. September 2018
Projektleiter: Dr. Niklas Schörnig, Leibniz-Institut Hessische Stiftung Friedens- und Konfliktforschung
Fördersumme: 17 Tsd. Euro