Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers ad...
| Corporate Authors: | IEEE International Conference on Formal Engineering Methods Durham, England) |
|---|---|
| Other Authors: | IEEE International Conference on Formal Engineering Methods, Qin, Shengchao., Qiu, Zongyan., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Heidelberg ; New York :
Springer,
©2011.
Heidelberg ; New York : [2011] |
| Physical Description: |
1 online resource (xiv, 670 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
6991. |
| Subjects: |