ISBN-13: 9783319686899 / Angielski / Miękka / 2017 / 498 str.
ISBN-13: 9783319686899 / Angielski / Miękka / 2017 / 498 str.
The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.