On Certification of Specifications for TROLL light Objects.

Stefan Conrad

Browse the full COMPASS paper archive.