Guaranteeing Type Consistency in Collective Adaptive Systems.

Jonas Schrmann, Tim Tegeler, Bernhard Steffen

Browse the full ISoLA paper archive.