Back to Results
First PageMeta Content
Frama-C / Mathematical analysis / Function / Expected value / Logarithm / Program analysis / Mathematics / Functions and mappings / Software


Document Date: 2013-09-24 04:53:53

Open Document

File Size: 4,66 MB

Share Result on Facebook

Company

Software Reliability Laboratory / /

Facility

Standard C library / /

Person

Pascal Cuoq / /

/

ProgrammingLanguage

C / /

Technology

API / /

URL

http /

SocialTag