Now showing items 1-1 of 1

    • Unified Syntax for Abstract State Machines 

      Beitrag zu einer Konferenz
      Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael (Universität Ulm, 2016)