michelesr / mvss-project

Progetto MVSS UniUrb 2015 (Sessione Estiva)

MVSS Project

Progetto Modellazione e Verifica Sistemi Software UniUrb, Sessione Estiva 2015.

Model Checking for an Authentication Protocol

Specifica

Sito del corso