Poste de travail personnel pour la spécification graphique incrémentielle et l'implémentation de systèmes non séquentiels | GRASPIN [Abbr.]
individueel werkstation voor incrementele grafische specificatie en formele implementatie van niet-sequentiële systemen | GRASPIN [Abbr.]