1 Ebooks by Adrian Riesco
Adrian Riesco & Min Zhang: Formal Methods and Software Engineering
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented …
EPUB
English
DRM
€56.03
