Angela Wallenburg

	2008
4		K. Rustan M. Leino, Angela Wallenburg: Class-local object invariants. ISEC 2008: 57-66
3		K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
	2005
2		Ola Olsson, Angela Wallenburg: Customised Induction Rules for Proving Correctness of Imperative Programs. SEFM 2005: 180-189
	2003
1		Reiner Hähnle, Angela Wallenburg: Using a Software Testing Technique to Improve Theorem Proving. FATES 2003: 30-41

Coauthor Index

1	Reiner Hähnle	[1]
2	K. Rustan M. Leino	[3] [4]
3	Peter Müller	[3]
4	Ola Olsson	[2]

Colors in the list of coauthors