Andreas Wolf
Affiliations:- University of Kiel, Germany
According to our database1,
Andreas Wolf
authored at least 4 papers
between 1998 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
Weakest relative precondition semantics: balancing approved theory and realistic translation verification.
PhD thesis, 2001
2000
Proceedings of the Programming Languages and Systems, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Proceedings of the Mathematics of Program Construction, 1998