Functional Program Verification in Theorema. Soundness and Completeness

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09
Editors	J. Knoop, A. Prantl
Place of Publication	Maria Taferl, Austria
Pages	221-229
Number of pages	9
Publication status	Published - Oct 2009

Fields of science

@inproceedings{d190f8d002f345d6889157d89082d987,

title = "Functional Program Verification in Theorema. Soundness and Completeness",

author = "Nikolaj Popov and Tudor Jebelean",

year = "2009",

month = oct,

language = "English",

pages = "221--229",

editor = "\{J. Knoop, A. Prantl\}",

booktitle = "Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09",

}

Functional Program Verification in Theorema. Soundness and Completeness. / Popov, Nikolaj; Jebelean, Tudor.
Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09. ed. / J. Knoop, A. Prantl. Maria Taferl, Austria, 2009. p. 221-229.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Functional Program Verification in Theorema. Soundness and Completeness

AU - Popov, Nikolaj

AU - Jebelean, Tudor

PY - 2009/10

Y1 - 2009/10

M3 - Conference proceedings

SP - 221

EP - 229

BT - Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09

A2 - J. Knoop, A. Prantl, null

CY - Maria Taferl, Austria

ER -