7. Developer’s Guide

7.1. Our collaborators

The following collaborators are ordered alphabetically: