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 ...