Formal Methods Meet
On October 10, Sibylle Schupp talks about "Formal Methods Meet <Privacy>" within a Brown Bag Lunch at <link https: www.hiig.de _blank>Alexander von Humboldt Institute for Internet and Society (HIIG) in Berlin.
