Cocktail: A Tool for Deriving Correct Programs

M.G.J. Franssen

Onderzoeksoutput: Bijdrage aan congresPosterAcademic

Originele taal-2Engels
StatusGepubliceerd - 2000

Citeer dit