Cocktail: A Tool for Deriving Correct Programs

M.G.J. Franssen

Research output: Contribution to conferencePosterAcademic

Original languageEnglish
Publication statusPublished - 2000

Cite this