Cocktail

A tool for deriving correct programs

H.C.M. de Swart, M. Franssen

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)95-113
    Number of pages18
    JournalRevista de la Real Academia de Ciencias Exactas, Fisicas y Naturales
    Volume98
    Issue number1
    Publication statusPublished - 2004

    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",
    number = "1",

    }

    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 journalArticleScientificpeer-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 -