| 1995 |
|---|
| 6 | | Rudolf Berghammer,
Bettina Buth,
Karl-Heinz Buth:
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
SEUH 1995: 11-21 |
| 1994 |
|---|
| 5 | | Karl-Heinz Buth:
Simulation of SOS Definitions with Term Rewriting Systems.
ESOP 1994: 150-164 |
| 1992 |
|---|
| 4 | | Bettina Buth,
Karl-Heinz Buth,
Martin Fränzle,
Burghard von Karger,
Yassine Lakhnech,
Hans Langmaack,
Markus Müller-Olm:
Provably Correct Compiler Development and Implementation.
CC 1992: 141-155 |
| 3 | | Karl-Heinz Buth:
Using SOS Definitions in Term Rewriting Proofs.
Larch 1992: 36-54 |
| 1991 |
|---|
| 2 | | Bettina Buth,
Karl-Heinz Buth:
An Approach to Automatic Proof Support for Code Generator Verification.
Code Generation 1991: 193-209 |
| 1988 |
|---|
| 1 | | Bettina Buth,
Karl-Heinz Buth:
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.
VDM Europe 1988: 406-433 |
