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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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.