This book constitutes the refereed proceedings of the 9th
International Conference on Formal Engineering Methods, ICFEM 2007,
held in Boca Raton, Florida, USA, November 14-15, 2007.
The 19 revised full papers together with 2 invited talks
presented were carefully reviewed and selected from 38 submissions.
The papers address all current issues in formal methods and their
applications in software engineering. They are organized in topical
sections on security and knowledge, embedded systems, testing,
automated analysis, hardware and concurrency.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
