`Travelled to:`

1 × United Kingdom

1 × Uruguay

`Collaborated with:`

K.Berkani D.Delahaye C.Dubois

`Talks about:`

theorem (2) proof (2) autom (2) rule (2) use (2) superdeduct (1) tableaux (1) verifi (1) theori (1) prover (1)

## Person: Mélanie Jacquel

### DBLP: Jacquel:M=eacute=lanie

### Contributed to:

### Wrote 2 papers:

- IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification
- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
- SEFM-2011-JacquelBDD #automation #proving #theorem proving #using #verification
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (MJ, KB, DD, CD), pp. 253–268.