Boris Köpf, investigador de Instituto IMDEA Software, ha participado en el panel sobre “Formal Methods for Reliable Software Security” en el evento de cierre de la iniciativa Reliably Secure Software Systems (RS3) que ha tenido lugar en Darmstadt, Alemania, del 4 al 6 de Septiembre.
