Formal Methods: Foundations and Applications - 9783319294728
ISBN-13: 9783319294728, 978-3319294728. reviewed and selected from 25 submissions. They were organized in topical. verification; testing and evaluation. This book constitutes revised selected papers from the.