individueel werkstation voor incrementele grafische specificatie en formele implementatie van niet-sequentiële systemen | GRASPIN [Abbr.]
graphische Spezifikation und formale Implementierung nicht seqüntieller Systeme | GRASPIN | personenbezogene Arbeitsstation für die schrittweise grafische | GRASPIN [Abbr.]