What is the method in formal methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited
Place of Publication	Sydney, Australia
Pages	-
Number of pages	20
Publication status	Published - 19 Nov 1991

Keywords

@inproceedings{4d7d62eedcbb487d9c701d26ad897b3a,

title = "What is the method in formal methods",

keywords = "METIS-119503",

author = "Hendrik Brinksma",

year = "1991",

month = nov,

day = "19",

language = "Undefined",

pages = "--",

booktitle = "FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited",

}