IThink: A Game-based Approach Towards Improving Collaboration and Participation in Requirement Elicitation
Models and Theory of Computation (MTC) EPFL Dirk Beyer, Jasmin Fisher, Nir Piterman Simon Kramer: Logic for cryptography Marc Schaub: Models for biological.