Back to Results
First PageMeta Content
Procedural programming languages / Data types / C programming language / Primitive types / Pointer / C / ANSI/ISO C Specification Language / Pascal / Dangling pointer / Software engineering / Computing / Programming language theory


ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9
Add to Reading List

Document Date: 2015-03-17 11:33:40


Open Document

File Size: 1,23 MB

Share Result on Facebook

City

Paris / /

Company

Software Reliability Laboratory / /

Country

France / /

Facility

Jessie library / /

Person

Arnaud Gotlieb / Jean Souyris / Catherine Dubois / Philippe Herrmann / Asma Tafat / Pierre Crégut / Julien Signoles / Dillon Pariente / Thierry Hubert / Sylvie Boldo / Stéphane Duprat / David Delmas / Pierre Rousseau / /

Position

General / /

ProgrammingLanguage

Pascal / C / /

Technology

CAT / /

SocialTag