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 (Dec. 2014), e6. DOI:https://doi.org/10.4108/casa.1.2.e6.