| Original language | English |
|---|---|
| Volume | 2 |
| Publication status | Published - 1989 |
Publication series
| Name | ProCoS document Kiel BB |
|---|
Experiments with program verification systems
Bettina Buth, Karl-Heinz Buth, Ursula Martin, Victoria Stavridou
Research output: Working paper