| Original language | English |
|---|---|
| Publication status | Published - 2000 |
Cocktail: A Tool for Deriving Correct Programs
M.G.J. Franssen
Research output: Contribution to conference › Poster
M.G.J. Franssen
Research output: Contribution to conference › Poster
| Original language | English |
|---|---|
| Publication status | Published - 2000 |