Cong Vinh P. An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”. EAI Endorsed Trans Context Aware Syst App [Internet]. 2014 Dec. 19 [cited 2024 May 17];1(2):e6. Available from: https://publications.eai.eu/index.php/casa/article/view/2039