Back to Results
First PageMeta Content
Procedural programming languages / Data types / Frama-C / Pointer / C / Array data type / D / ALGOL 68 / Memory safety / Computing / Software engineering / Computer programming


The Jessie plugin for Deductive Verification in Frama-C Tutorial and Reference Manual Version 2.34
Add to Reading List

Document Date: 2014-03-17 18:14:41

Open Document

File Size: 885,96 KB

Share Result on Facebook

City

Paris / /

Country

France / /

IndustryTerm

auto-configuration tool / binary_search / function binary_search accesses / function binary_search / famous binary_search function / /

Person

Jessie Why / Claude Marché / /

Position

General / VC guard / /

ProgrammingLanguage

C / Java / php / /

Technology

html / Java / GUI / /

URL

http /

SocialTag