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


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

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

Open Document

File Size: 1,16 MB

Share Result on Facebook

City

Paris / /

Company

Software Reliability Laboratory / /

Country

France / /

Facility

Jessie library / /

Person

Jean Souyris / Jean-Christophe Filliâtre / Asma Tafat / Pierre Crégut / Thierry Hubert / Dillon Pariente / Jean-Louis Colaço / Sylvie Boldo / Stéphane Duprat / David Delmas / Pierre Rousseau / Benjamin Monate / Arnaud Gotlieb / Catherine Dubois / Philippe Herrmann / Pascal Cuoq / Julien Signoles / /

Position

General / /

ProgrammingLanguage

C / /

Technology

CAT / /

SocialTag