Documents associated with G. Degli Antoni

Abstract of the paper, 15.07.1974(?)
"The Synthesis of Programs as an Approach to the Construction of Reliable Programs".
Abstract of the paper, 15.07.1974(?)
"An Approach to the Design of Tests of Programs".

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016