Description
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction
of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Book Information
ISBN 9783031224751
Author Lucas Lima
Format Paperback
Page Count 143
Imprint Springer International Publishing AG
Publisher Springer International Publishing AG
Weight(grams) 261g