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

    • Tool-supported invariant-based programming 

      Eriksson, Johannes
      TUCS Dissertations : 127 (Turku Centre for Computer Science (TUCS), 17.08.2010)
      The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ...