Using Formal Methods: if you're so smart, how come you ain't rich?

Hendrik Brinksma

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationFormal Description Techniques IX, Theory, Application and Tools
    Place of PublicationFORTE/PSTV'96, Kaiserslautern, Germany
    Pages333-333
    Number of pages1
    Publication statusPublished - 9 Oct 1996

    Keywords

    • METIS-120065

    Cite this

    Brinksma, H. (1996). Using Formal Methods: if you're so smart, how come you ain't rich? In Formal Description Techniques IX, Theory, Application and Tools (pp. 333-333). FORTE/PSTV'96, Kaiserslautern, Germany.
    Brinksma, Hendrik. / Using Formal Methods: if you're so smart, how come you ain't rich?. Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, 1996. pp. 333-333
    @inproceedings{5c1517e75b354fb3b016350b45f06915,
    title = "Using Formal Methods: if you're so smart, how come you ain't rich?",
    keywords = "METIS-120065",
    author = "Hendrik Brinksma",
    year = "1996",
    month = "10",
    day = "9",
    language = "Undefined",
    isbn = "0-412-79490-X",
    pages = "333--333",
    booktitle = "Formal Description Techniques IX, Theory, Application and Tools",

    }

    Brinksma, H 1996, Using Formal Methods: if you're so smart, how come you ain't rich? in Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, pp. 333-333.

    Using Formal Methods: if you're so smart, how come you ain't rich? / Brinksma, Hendrik.

    Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, 1996. p. 333-333.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    TY - GEN

    T1 - Using Formal Methods: if you're so smart, how come you ain't rich?

    AU - Brinksma, Hendrik

    PY - 1996/10/9

    Y1 - 1996/10/9

    KW - METIS-120065

    M3 - Conference contribution

    SN - 0-412-79490-X

    SP - 333

    EP - 333

    BT - Formal Description Techniques IX, Theory, Application and Tools

    CY - FORTE/PSTV'96, Kaiserslautern, Germany

    ER -

    Brinksma H. Using Formal Methods: if you're so smart, how come you ain't rich? In Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany. 1996. p. 333-333