`Travelled to:`

1 × France

`Collaborated with:`

V.Kuncak T.Wies K.Zee M.C.Rinard

`Talks about:`

structur (1) theorem (1) system (1) prover (1) verif (1) order (1) jahob (1) first (1) data (1) use (1)

## Person: Charles Bouillaguet

### DBLP: Bouillaguet:Charles

### Contributed to:

### Wrote 1 papers:

- VMCAI-2007-BouillaguetKWZR #data type #first-order #proving #theorem proving #using #verification
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.