Formal Methods and Software Engineering
Available
This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They a...
Read more
E-book
pdf
Price
89.50 £
This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They a...
Read more