Using Formal Methods: if you're so smart, how come you ain't rich?

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

Original language	Undefined
Title of host publication	Formal Description Techniques IX, Theory, Application and Tools
Place of Publication	FORTE/PSTV'96, Kaiserslautern, Germany
Pages	333-333
Number of pages	1
Publication status	Published - 9 Oct 1996

Keywords

@inproceedings{5c1517e75b354fb3b016350b45f06915,

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

keywords = "METIS-120065",

author = "Hendrik Brinksma",

year = "1996",

month = oct,

day = "9",

language = "Undefined",

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

pages = "333--333",

booktitle = "Formal Description Techniques IX, Theory, Application and Tools",

}