Date: 2013-09-24 04:53:00C 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 Prevosto1Add to Reading ListSource URL: frama-c.comDownload Document from Source Website File Size: 521,92 KBShare Document on Facebook
|