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 2
...
Read more »