Wednesday, March 21, 2012

Formal Methods and Software Engineering - ICFEM 2011

Formal Methods and Software Engineering - ICFEM 2011

Formal Methods and Software Engineering - ICFEM 2011

Springer (11-2011) | PDF | 684 pages | 3642245587 | 12.2Mb

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 /by Shengchao Qin and Zongyan Qiu. This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011.

No comments:

Post a Comment