Using formal methods : if you're so smart, how come you ain't rich?

E. Brinksma

Using formal methods : if you're so smart, how come you ain't rich?

E. Brinksma

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

Original language	English
Title of host publication	Formal Description Techniques IX (Proceedings IFIP TC6 WG6.1 International Conference, Kaiserslautern, Germany, October 8-11, 1996)
Editors	R. Gotzhein, J. Bredereke
Publisher	Chapman & Hall
Pages	329-
ISBN (Print)	0-412-79490-X
Publication status	Published - 1996

Publication series

Name	IFIP Conference Proceedings
Volume	69
ISSN (Print)	1571-5736

Cite this

@inproceedings{a9ea45aa1e8646e4ace447e4dbed7d50,

title = "Using formal methods : if you're so smart, how come you ain't rich?",

author = "E. Brinksma",

year = "1996",

language = "English",

isbn = "0-412-79490-X",

series = "IFIP Conference Proceedings",

publisher = "Chapman & Hall",

pages = "329--",

editor = "R. Gotzhein and J. Bredereke",

booktitle = "Formal Description Techniques IX (Proceedings IFIP TC6 WG6.1 International Conference, Kaiserslautern, Germany, October 8-11, 1996)",

address = "United Kingdom",

}

Using formal methods : if you're so smart, how come you ain't rich? / Brinksma, E.
Formal Description Techniques IX (Proceedings IFIP TC6 WG6.1 International Conference, Kaiserslautern, Germany, October 8-11, 1996). ed. / R. Gotzhein; J. Bredereke. Chapman & Hall, 1996. p. 329- (IFIP Conference Proceedings; Vol. 69).

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