Data di Pubblicazione:
2014
Abstract:
17th International Conference, FASE 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Software Engineering; Formal methods
Elenco autori:
Gnesi, Stefania
Link alla scheda completa: