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.