Birgit Schieder

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

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