search

tamarin-prover / teaching

Teaching materials related to the Tamarin Prover
http://tamarin-prover.github.io/
63 stars 7 forks source link

We need a high-level "day overview" with rough times #3

Open cascremers opened 7 years ago