Verlag GMD-Forschungszentrum InformationstechnikBernd Krämer × The Graspin Specification Language Preliminary Reference Manual Bernd KrämerGMD-Forschungszentrum InformationstechnikBuch198710,00 € Interactive Graphical Specification in a Syntax-Directed Environment: The SEGRAS-Lab Experience Bernd KrämerGMD-Forschungszentrum InformationstechnikSoftcover1985 Formal and Semi-Graphic Specification of Non-Sequential Systems Bernd KrämerGMD-Forschungszentrum InformationstechnikSoftcover1984 Stepwise construction of non-sequential software systems using a net-based specification language Bernd KrämerGMD-Forschungszentrum InformationstechnikSoftcover1984