Cocktail: A tool for deriving correct programs

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	95-113
Number of pages	18
Journal	Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales
Volume	98
Issue number	1
Publication status	Published - 2004

Common Knowledge and the Foundations of Social Sciences
de Swart, H. (Principal Investigator)
1/01/94 → 31/12/04
Project: Research project

Cite this

@article{6a3c40db9237401bbd6992ebfc318cd1,

title = "Cocktail: A tool for deriving correct programs",

author = "\{de Swart\}, H.C.M. and M. Franssen",

note = "Pagination: 18",

year = "2004",

language = "English",

volume = "98",

pages = "95--113",

journal = "Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales",

issn = "1578-7303",

publisher = "Springer-Verlag Italia s.r.l.",

number = "1",

}