Guide to Software Verification with Frama-C
| Author | : Nikolai Kosmatov |
| Publisher | : Springer Nature |
| Total Pages | : 708 |
| Release | : |
| ISBN-10 | : 9783031556081 |
| ISBN-13 | : 3031556089 |
| Rating | : 4/5 (81 Downloads) |
Book Synopsis Guide to Software Verification with Frama-C by : Nikolai Kosmatov
Download or read book Guide to Software Verification with Frama-C written by Nikolai Kosmatov and published by Springer Nature. This book was released on with total page 708 pages. Available in PDF, EPUB and Kindle. Book excerpt: