Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

News

Final Talks

Written: 23.05.2018 13:32 Written By: Norine Coenen

Dear all, 
next week, we will begin with the final presentations of our Proseminar. This is just a friendly reminder that the attendance to all final talks is mandatory. We are looking forward to exciting talks and discussions!‚Äč



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators