Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie

Subject: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
From: dmentre at linux-france.org (David MENTRE)
Date: Wed, 2 Feb 2011 07:29:23 +0100
In-reply-to: <OF2159E140.487FAA05-ON6525782B.00183113-6525782B.00183CC8@tcs.com>
References: <AANLkTi=OSq-Pbw8qwyLy-EoDfY0dOPa2ucV+6RRXtrVQ@mail.gmail.com> <75024FAF-DEA9-4F87-8B45-ADC3475A194E@cea.fr> <AANLkTikQfC8Xz4x1CMP=XES-e7a=t-QB8WG1R5Xhex75@mail.gmail.com> <1296557709.1660.53.camel@iti27> <4D486769.3010508@inria.fr> <OF2159E140.487FAA05-ON6525782B.00183113-6525782B.00183CC8@tcs.com>

Hello,

2011/2/2 Vijay Suman <vijay.suman at tcs.com>
> Is it possible to put up slides in English as well?

http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-February/002469.html

Regards,
d.

References:
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: hollas at informatik.htw-dresden.de (Boris Hollas)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
  - From: vijay.suman at tcs.com (Vijay Suman)

Prev by Date: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Next by Date: [Frama-c-discuss] ACSL x Z notation
Previous by thread: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Next by thread: [Frama-c-discuss] French slides to present Frama-C, value analysis and Jessie
Index(es):
- Date
- Thread