Functional Program Verification in Theorema. Soundness and Completeness

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09
Herausgeber*innen	J. Knoop, A. Prantl
Erscheinungsort	Maria Taferl, Austria
Seiten	221-229
Seitenumfang	9
Publikationsstatus	Veröffentlicht - Okt. 2009

Wissenschaftszweige

@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",

}

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 -