Cocktail: A Tool for Deriving Correct Programs

M.G.J. Franssen

Research output: Contribution to conferenceOtherAcademic

Original languageEnglish
Number of pages2
Publication statusPublished - 1999
Eventconference; Postersession; 1999-04-09; 1999-04-09 -
Duration: 9 Apr 19999 Apr 1999

Conference

Conferenceconference; Postersession; 1999-04-09; 1999-04-09
Period9/04/999/04/99
OtherPostersession

Cite this