Formal Development of Self-organising Systems.

Graeme Smith, Jeffrey W. Sanders

Browse the full ATC paper archive.