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 |