Cong Vinh, Phan. “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, no. 2 (December 19, 2014): e6. Accessed April 23, 2024. https://publications.eai.eu/index.php/casa/article/view/2039.