The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.
| Autor: | BAUDIN, PATRICK1, BOBOT, FRANÇOIS1, BÜHLER, DAVID1, CORRENSON, LOÏC1, KIRCHNER, FLORENT2, KOSMATOV, NIKOLAI3, MARONEZE, ANDRÉ1, PERRELLE, VALENTIN1, PREVOSTO, VIRGILE1, SIGNOLES, JULIEN1, WILLIAMS, NICKY1 |
|---|---|
| Zdroj: | Communications of the ACM. Aug2021, Vol. 64 Issue 8, p56-68. 13p. 1 Illustration, 8 Diagrams. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|