A Formal Development Approach for Self-Organising Systems.

Qin Li, Graeme Smith

Browse the full TASE paper archive.