Authors | |
Publisher | Springer International Publishing AG |
Year | 15/10/2016 |
Pages | 486 |
Version | paperback |
Readership level | Professional and scholarly |
Language | English |
ISBN | 9783319478456 |
Categories | Network hardware |
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings