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.
BOK (Häftad). Springer International Publishing AG, 2017-10-14 Engelska.