`Travelled to:`

1 × Canada

1 × Germany

`Collaborated with:`

O.Olsson R.Hähnle

`Talks about:`

prove (2) techniqu (1) customis (1) theorem (1) softwar (1) program (1) correct (1) induct (1) improv (1) imper (1)

## Person: Angela Wallenburg

### DBLP: Wallenburg:Angela

### Contributed to:

### Wrote 2 papers:

- SEFM-2005-OlssonW #correctness #imperative #induction #proving #source code
- Customised Induction Rules for Proving Correctness of Imperative Programs (OO, AW), pp. 180–189.
- FATES-2003-HahnleW #proving #testing #theorem proving #using
- Using a Software Testing Technique to Improve Theorem Proving (RH, AW), pp. 30–41.