| 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 |
Cite this
de Swart, H. C. M., & Franssen, M. (2004). Cocktail: A tool for deriving correct programs. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, 98(1), 95-113.
@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",
}
de Swart, HCM & Franssen, M 2004, 'Cocktail: A tool for deriving correct programs', Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, vol. 98, no. 1, pp. 95-113.
Cocktail : A tool for deriving correct programs. / de Swart, H.C.M.; Franssen, M.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Vol. 98, No. 1, 2004, p. 95-113.Research output: Contribution to journal › Article › Scientific › peer-review
TY - JOUR
T1 - Cocktail
T2 - A tool for deriving correct programs
AU - de Swart, H.C.M.
AU - Franssen, M.
N1 - Pagination: 18
PY - 2004
Y1 - 2004
M3 - Article
VL - 98
SP - 95
EP - 113
JO - Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales
JF - Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales
SN - 1578-7303
IS - 1
ER -
de Swart HCM, Franssen M. Cocktail: A tool for deriving correct programs. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. 2004;98(1):95-113.