Angela Wallenburg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2013
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMICS | Auditing User-Provided Axioms in Software Verification Conditions. | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
| 2010 | CADE | Generalisation of Induction Formulae based on Proving by Symbolic Execution. | Angela Wallenburg |
| 2005 | SEFM | Customised Induction Rules for Proving Correctness of Imperative Programs. | Ola Olsson, Angela Wallenburg |