GitHub repository: tamarin-prover/teaching
Created: 2017-06-22T08:52:58Z
Description: Teaching materials related to the Tamarin Prover