![Java Modeling Language / Java platform / Procedural programming languages / Program analysis / Frama-C / KeY / Programming language / C / SQL / Computing / Software engineering / Software Java Modeling Language / Java platform / Procedural programming languages / Program analysis / Frama-C / KeY / Programming language / C / SQL / Computing / Software engineering / Software](https://www.pdfsearch.io/img/b2e0466311f1f99fcee969c840602b39.jpg)
| Document Date: 2013-09-24 04:53:01 Open Document File Size: 514,79 KBShare 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 |