Publication Date:
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).
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; User requirement formulation; Design; implementation; Verification/Testing; Creation of documentation
List of contributors:
Gnesi, Stefania
Full Text:
Book title:
FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering
Published in: