HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-11-112024-11-111993Anderer Identifier: urn:nbn:de:bsz:291-scidok-3796Anderer Identifier: hdl:20.500.11880/25875https://fis.uni-bamberg.de/handle/uniba/104527engHDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionenworkingpaper10.22028/d291-25819