Actes des 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels

Document type :
Directions of work or proceedings
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02010559
Contributor : Arnaud Lanoix <>
Submitted on : Thursday, February 7, 2019 - 11:49:12 AM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

File

AFADL_Procs_2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02010559, version 1

Collections

Citation

Antoine Rollet, Arnaud Lanoix. Actes des 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. Antoine Rollet; Arnaud Lanoix. 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2018, Grenoble, France. 2018, Actes des 17èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, ⟨https://afadl2018.ls2n.fr/⟩. ⟨hal-02010559⟩

Share

Metrics

Record views

25

Files downloads

46