1
Transactions on Computational Science XV [E-Book]: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /