Abschnittsübersicht

    • Bashar Ahmad: Specificaton of Monitors in the LogicGuard Language