Hands-On Protocol Verification Robert Künnemann


Project description and materials

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


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