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

Projects

1/01/94 → 31/12/04

Project: Research project

@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",

number = "1",

}