Formal methods and software engineering: 23rd international conference on formal engineering methods, icfem 2022, madrid, spain, october 24–27, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031172434
Date de publication :
10 oct. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.