Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Contract-Based Design of Dataflow Programs 

      Wiik, Jonatan (Åbo Akademi - Åbo Akademi University, 19.01.2024)
      Quality and correctness are becoming increasingly important aspects of software development, as our reliance on software systems in everyday life continues to increase. Highly complex software systems are today found in ...