Marina Walden

Sökresultat

• 2024

  Contract-Based Design of Dataflow Programs

  Wiik, J., 2024, Åbo Akademi.

  Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar

  Öppen tillgång
• 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