| David Duffy < David Déharbe < David E. M. Sappington | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000974 (2009) | Thomas Bouton [France] ; Diego Caminha B. De Oliveira [France] ; David Déharbe [Brésil] ; Pascal Fontaine [France] | veriT : An Open, Trustable and Efficient SMT-Solver |
| 000A06 (2009) | David Déharbe [Brésil] ; Silvio Ranise [Italie, France] | Satisfiability solving for software verification |
| 001360 (2006) | David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
| 001857 (2004) | David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
| 001C32 (2002) | David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i -k "David Déharbe"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i \
-Sk "David Déharbe" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Checkpoint
|type= indexItem
|index= Author.i
|clé= David Déharbe
}}
| This area was generated with Dilib version V0.6.33. |  |