Back to Results
First PageMeta Content
C programming language / ANSI/ISO C Specification Language / Java Modeling Language / Frama-C / KeY / Programming language / C / SQL / Logic programming / Computing / Software engineering / Computer programming


ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1
Add to Reading List

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


Open Document

File Size: 521,92 KB

Share Result on Facebook

City

Paris / /

Company

Software Reliability Laboratory / /

Country

France / /

Facility

Jessie library / /

Person

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

Position

General / /

ProgrammingLanguage

ANSI C / C / Java / /

Technology

Java / ANSI C / CAT / /

URL

http /

SocialTag