Birgit Schieder

	2004
4		Birgit Schieder: Pointer Theory and Weakest Preconditions without Addresses and Heap. MPC 2004: 357-380
	1999
3		Birgit Schieder, Manfred Broy: Adapting Calculational Logic to the Undefined. Comput. J. 42(2): 73-81 (1999)
	1998
2		W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder: An Elementary Derivation of the Alternating Bit Protocol. MPC 1998: 175-187
	1994
1		Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder: Interpreter Verification for a Functional Language. FSTTCS 1994: 77-88

Coauthor Index

1	Manfred Broy	[1] [3]
2	W. H. J. Feijen	[2]
3	A. J. M. van Gasteren	[2]
4	Ursula Hinkel	[1]
5	Tobias Nipkow	[1]
6	Christian Prehofer	[1]

Colors in the list of coauthors