Hands-On Protocol Verification Robert Künnemann

News

Project description and materials

Written: 08.11.2018 16:10 Written By: Robert Künnemann

Hi!

Check out the projects directory in the gitlab repository. You will find some notes from our last meeting, and some ideas about how to approach the project. This should be a basis for discussion in the next session. Feel free to edit the README.md files in your project; I will use them to track your progress.

Cheers, Robert



Datenschutz | Impressum
Bei technischen Problemen wenden Sie sich bitte an die Administratoren