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
    Number of pages1
    Publication statusPublished - 9 Oct 1996


    • METIS-120065

    Cite this