What is the method in formal methods

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationFORTE 1991 (Fourth International Conference on Formal Description Techniques), invited
    Place of PublicationSydney, Australia
    Pages-
    Number of pages20
    Publication statusPublished - 19 Nov 1991

    Keywords

    • METIS-119503

    Cite this

    Brinksma, H. (1991). What is the method in formal methods. In FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited (pp. -). Sydney, Australia.
    Brinksma, Hendrik. / What is the method in formal methods. FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, 1991. pp. -
    @inproceedings{4d7d62eedcbb487d9c701d26ad897b3a,
    title = "What is the method in formal methods",
    keywords = "METIS-119503",
    author = "Hendrik Brinksma",
    year = "1991",
    month = "11",
    day = "19",
    language = "Undefined",
    pages = "--",
    booktitle = "FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited",

    }

    Brinksma, H 1991, What is the method in formal methods. in FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, pp. -.

    What is the method in formal methods. / Brinksma, Hendrik.

    FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, 1991. p. -.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - What is the method in formal methods

    AU - Brinksma, Hendrik

    PY - 1991/11/19

    Y1 - 1991/11/19

    KW - METIS-119503

    M3 - Conference contribution

    SP - -

    BT - FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited

    CY - Sydney, Australia

    ER -

    Brinksma H. What is the method in formal methods. In FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia. 1991. p. -