Lightweight Formal Verification in Real World, A Case Study

TitoloLightweight Formal Verification in Real World, A Case Study
Publication TypeConference Paper
Year of Publication2014
AuthorsAtzeni, A., T. Su, and T. Montanaro
Conference Name4th International Workshop on Information Systems Security Engineering (WISSE 2014)
Date Published06/2014
Conference LocationThessaloniki, Greece
Pervasive Technologies