What is the method in formal methods?

E. Brinksma

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelFormal 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)
RedacteurenK.R. Partker, G.A. Rose
UitgeverijNorth-Holland Publishing Company
Pagina's33-50
ISBN van geprinte versie0-444-89402-0
StatusGepubliceerd - 1991

Publicatie series

NaamIFIP transactions. C, Communication systems
VolumeC-2
ISSN van geprinte versie0926-549X

Citeer dit

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