Oct 28, 2019 · This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
Formal Methods and Software Engineering: 21st International ...
www.amazon.com › Formal-Methods-So...
$53.65
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November ...
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM ... Shenzhen, China, November 5-9, 2019, Proceedings ...
Nov 5, 2019 · ... ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. Software and its engineering · Software creation and management · Software ...
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November ...
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Book
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and... Google Books
Originally published: October 6, 2019
... ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Show more. Authors: Yamine Ait-Ameur, Shengchao Qin. Front cover image for Formal Methods and ...
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, he...
... Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings.
$54.99
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ...
Oct 28, 2019 · ... ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. ... Engineering - 21st International Conference on Formal Engineering Methods ...