Verification of Simple Recursive Programs in Theorema: Completeness of the Method

Nikolaj Popov

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Johannes Kepler Universität, Altenberger Str. 69, 4040 Linz
Publisher	RISC
Number of pages	9
Publication status	Published - Jun 2005

Name	RISC Report Series
No.	05-06

Fields of science

@techreport{47279d7431b944eca9dcee5c79dbb288,

title = "Verification of Simple Recursive Programs in Theorema: Completeness of the Method",

author = "Nikolaj Popov",

year = "2005",

month = jun,

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "05-06",

type = "WorkingPaper",

institution = "RISC",

}