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

    Projects

    Common Knowledge and the Foundations of Social Sciences

    de Swart, H.

    1/01/9431/12/04

    Project: Research project

    Cite this