Documents associated with Michel Caplain

Abstract of the paper, 15.07.1974(?)
"Finding Invariant Assertions for Proving 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