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