Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Author | : Tiziana Margaria |
Publisher | : Springer Nature |
Total Pages | : 442 |
Release | : |
ISBN-10 | : 9783031737091 |
ISBN-13 | : 3031737091 |
Rating | : 4/5 (091 Downloads) |
Download or read book Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola written by Tiziana Margaria and published by Springer Nature. This book was released on with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: