Data di Pubblicazione:
2012
Abstract:
Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
tools for formal analysis and verification; formal methods; D.2 SOFTWARE ENGINEERING; D.2.4 Software/Program Verification
Elenco autori:
Trentanni, Gianluca; Mazzanti, Franco
Link alla scheda completa: