Andreas Wolf

Affiliations:

According to our database¹, Andreas Wolf authored at least 4 papers between 1998 and 2001.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2001

Weakest relative precondition semantics: balancing approved theory and realistic translation verification.

[BibT_eX]

[DOI]

PhD thesis, 2001

2000

On the Translation of Procedures to Finite Machines.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2000

1999

On Excusable and Inexcusable Failures.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Relation-Algebraic Derivation of Spanning Tree Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1998