Haku
Viitteet 1-1 / 1
Tool-supported invariant-based programming
(Turku Centre for Computer Science (TUCS), 2010-08-17)
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 ...