Data di Pubblicazione:
2016
Abstract:
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal Methods; Software engneering
Elenco autori:
Gnesi, Stefania
Link alla scheda completa: