BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wallenburg:Angela

Contributed to:

SEFM 20052005
FATES 20032003

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.