Publication Date:
2019
abstract:
Welcome to FormaliSE 2019, the 7th 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) 2019 (https://conf.researchr.org/home/icse-2019).
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 '19: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Published in: