What is the method in formal methods?

E. Brinksma

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

    Original languageEnglish
    Title of host publicationFormal Description Techniques IV (Proceedings IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, November 19-22, 1991)
    EditorsK.R. Partker, G.A. Rose
    PublisherNorth-Holland Publishing Company
    ISBN (Print)0-444-89402-0
    Publication statusPublished - 1991

    Publication series

    NameIFIP transactions. C, Communication systems
    ISSN (Print)0926-549X

    Cite this