Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Complete list of metadatas

Cited literature [95 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02010559
Contributor : Arnaud Lanoix <>
Submitted on : Thursday, February 7, 2019 - 11:49:12 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:39 PM
Document(s) archivé(s) le : Wednesday, May 8, 2019 - 1:39:23 PM

File

AFADL_Procs_2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02010559, version 1

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. ⟨hal-02010559⟩

Share

Metrics

Record views

63

Files downloads

193