Logiques pour la spécification et vérification - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2007

Dates et versions

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

Identifiants

  • HAL Id : tel-03189929 , version 1

Citer

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 Consultations
85 Téléchargements

Partager

Gmail Facebook X LinkedIn More