<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-24 04:53:54Function Expected value Program analysis Mathematics Software Frama-C |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-24 04:53:54Function Expected value Program analysis Mathematics Software Frama-C |
Add to Reading List |
Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto