@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",
}