56 search results - page 12 / 12 » acta 2007 |
ACTA
1998
13 years 4 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...