Lara Bargmann

Ein neuer Ansatz vereinfacht die Verifikation für nebenläufige Programme über verschiedene Speicherarchitekturen hinweg.