![Frama-C / Formal methods / Procedural programming languages / Automated theorem proving / Pointer / Memory safety / ALGOL 68 / IP / Computing / Software engineering / Computer programming Frama-C / Formal methods / Procedural programming languages / Automated theorem proving / Pointer / Memory safety / ALGOL 68 / IP / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/b01f8826d96e8d7aad20952c9b26bd8b.jpg)
| Document Date: 2013-09-24 04:53:46 Open Document File Size: 1,26 MBShare Result on Facebook
City Paris / / Country France / / IndustryTerm binary_search / function binary_search accesses / function binary_search / famous binary_search function / software verification / / Position General / group guard / / ProgrammingLanguage php / C / / Technology CAT / GUI / / URL http /
SocialTag |