Formal methods and software engineering: 19th international conference on formal engineering methods, icfem 2017, xi'an, china, november 13-17, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319686899
Date de publication :
14 oct. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The conference focuses on all areas related to formal engineering methods, such as veriï¬cation and validation, software engineering, formal speciï¬cation and modeling, software security, and software reliability.