Guide to Software Verification with Frama-C
Download or Read eBook Guide to Software Verification with Frama-C PDF 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.
| 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
Book excerpt:
