Tools and Education Towards Formal Methods Practice

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

Original language	Undefined/Unknown
Title of host publication	Formal Approaches to Agent-Based Systems (Proc. FAABS 2002)
Editors	M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C. Rouff, D. Gordon-Spears
Place of Publication	Berlijn
Publisher	Springer
Publication status	Published - 2003

Cite this

@inproceedings{83cdfce2aa5b4fb289140bf01024db31,

title = "Tools and Education Towards Formal Methods Practice",

author = "J-J.Ch. Meyer",

year = "2003",

language = "Undefined/Unknown",

editor = "M.G. Hinchey and J.L. Rash and W.F. Truszkowski and C. Rouff and D. Gordon-Spears",

booktitle = "Formal Approaches to Agent-Based Systems (Proc. FAABS 2002)",

publisher = "Springer",

}