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


ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev
Add to Reading List

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


Open Document

File Size: 1,46 MB

Share Result on Facebook

City

Paris / /

Company

Software Reliability Laboratory / /

Country

France / /

Facility

Jessie library / /

Person

Arnaud Gotlieb / Jean Souyris / Pierre Crégut / Julien Signoles / Dillon Pariente / Thierry Hubert / Jean-Louis Colaço / Sylvie Boldo / Stéphane Duprat / David Delmas / Pierre Rousseau / /

Position

General / /

ProgrammingLanguage

Pascal / C / /

Technology

CAT / /

SocialTag