Data di Pubblicazione:
2020
Abstract:
Welcome to FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Europe). FormaliSE is co-located with ICSE (International Conference on Software Engineering) 2020 (https://conf.researchr.org/home/icse-2020).
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; User requirement formulation; Design; implementation; Verification/Testing; Creation of documentation
Elenco autori:
Gnesi, Stefania
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering
Pubblicato in: