Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)20-30
    JournalInformatie
    Volume35
    Issue number9
    Publication statusPublished - 1993

    Keywords

    • METIS-118624

    Cite this

    @article{8a4242dc9642429a812d8c4b82d667bf,
    title = "Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen",
    keywords = "METIS-118624",
    author = "Hendrik Brinksma",
    year = "1993",
    language = "Undefined",
    volume = "35",
    pages = "20--30",
    journal = "Informatie",
    issn = "0019-9907",
    publisher = "SDU",
    number = "9",

    }

    Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen. / Brinksma, Hendrik.

    In: Informatie, Vol. 35, No. 9, 1993, p. 20-30.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen

    AU - Brinksma, Hendrik

    PY - 1993

    Y1 - 1993

    KW - METIS-118624

    M3 - Article

    VL - 35

    SP - 20

    EP - 30

    JO - Informatie

    JF - Informatie

    SN - 0019-9907

    IS - 9

    ER -