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
Pages33-50
ISBN (Print)0-444-89402-0
Publication statusPublished - 1991

Publication series

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

Cite this

Brinksma, E. (1991). What is the method in formal methods? In K. R. Partker, & G. A. Rose (Eds.), Formal 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) (pp. 33-50). (IFIP transactions. C, Communication systems; Vol. C-2). North-Holland Publishing Company.