Cocktail: A Tool for Deriving Correct Programs

M.G.J. Franssen

Mathematics and Computer Science

Research output: Contribution to conference › Poster

Original language	English
Publication status	Published - 2000

Cite this