Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2015

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Abstract

Cet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015.
Fichier principal
Vignette du fichier
afadl2015.pdf (5.11 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01155626 , version 1 (27-05-2015)

Identifiers

  • HAL Id : hal-01155626 , version 1

Cite

Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015. ⟨hal-01155626⟩
223 View
512 Download

Share

Gmail Facebook X LinkedIn More