Logiques pour la spécification et vérification - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2007

Dates and versions

tel-03189929 , version 1 (06-04-2021)

Identifiers

  • HAL Id : tel-03189929 , version 1

Cite

Stéphane Demri. Logiques pour la spécification et vérification. Logique en informatique [cs.LO]. Université Denis Diderot Paris 7, 2007. ⟨tel-03189929⟩
140 View
85 Download

Share

Gmail Facebook X LinkedIn More