in_proceedings
Detail
Publication date: 1 de June, 2021Formal Methods and Software Engineering – 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 6991 |
| ISBN | 978-3-642-24558-9 |
| Pub. Date | 01/01/2011 |