Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance) - Archive ouverte HAL Access content directly
Notes De Synthèse Year :

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)

(1)
1
Fichier principal
Vignette du fichier
french.pdf (432.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02047458 , version 1 (24-02-2019)

Identifiers

  • HAL Id : hal-02047458 , version 1

Cite

Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance). 2019. ⟨hal-02047458⟩
36 View
40 Download

Share

Gmail Facebook Twitter LinkedIn More