Marina Walden

Sökresultat

• 2022

  Diagrammatic Languages and Formal Verification: A Tool-Based Approach

  Parsa, M., 2022, Turku: Åbo Akademi University.

  Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar

  Öppen tillgång