Cong Vinh, P. (2014) “An Introduction to the Book Titled ‘Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification’”, EAI Endorsed Transactions on Context-aware Systems and Applications, 1(2), p. e6. doi: 10.4108/casa.1.2.e6.