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.
Brinksma, E. / What is the method in formal methods?. 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). editor / K.R. Partker ; G.A. Rose. North-Holland Publishing Company, 1991. pp. 33-50 (IFIP transactions. C, Communication systems).
@inproceedings{71631c209165423caea3ff39fe10b149,
title = "What is the method in formal methods?",
author = "E. Brinksma",
year = "1991",
language = "English",
isbn = "0-444-89402-0",
series = "IFIP transactions. C, Communication systems",
publisher = "North-Holland Publishing Company",
pages = "33--50",
editor = "K.R. Partker and G.A. Rose",
booktitle = "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)",
address = "Netherlands",

}

Brinksma, E 1991, What is the method in formal methods? in KR Partker & GA 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). IFIP transactions. C, Communication systems, vol. C-2, North-Holland Publishing Company, pp. 33-50.

What is the method in formal methods? / Brinksma, E.

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). ed. / K.R. Partker; G.A. Rose. North-Holland Publishing Company, 1991. p. 33-50 (IFIP transactions. C, Communication systems; Vol. C-2).

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

TY - GEN

T1 - What is the method in formal methods?

AU - Brinksma, E.

PY - 1991

Y1 - 1991

M3 - Conference contribution

SN - 0-444-89402-0

T3 - IFIP transactions. C, Communication systems

SP - 33

EP - 50

BT - 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)

A2 - Partker, K.R.

A2 - Rose, G.A.

PB - North-Holland Publishing Company

ER -

Brinksma E. What is the method in formal methods? In Partker KR, Rose GA, editors, 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). North-Holland Publishing Company. 1991. p. 33-50. (IFIP transactions. C, Communication systems).