Cocktail: A Tool for Deriving Correct Programs

M.G.J. Franssen

Research output: Contribution to conference › Other › Academic

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

Conference

Conferenceconference; Postersession; 1999-04-09; 1999-04-09
Period9/04/99 → 9/04/99
OtherPostersession

Cite this