Sound and Complete Verification Condition Generator for Functional Recursive Programs

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

Originalsprache	Englisch
Titel	Numerical and Symbolic Scientific Computing - Progress and Prospects
Herausgeber*innen	U. Langer and P. Paule
Erscheinungsort	Wien
Verlag	Springer
Seiten	219-257
Seitenumfang	38
Publikationsstatus	Veröffentlicht - 2011

Wissenschaftszweige

@inbook{f0c8f087f76a41a2b3d8def4875573a3,

title = "Sound and Complete Verification Condition Generator for Functional Recursive Programs",

author = "Nikolaj Popov and Tudor Jebelean",

year = "2011",

language = "English",

pages = "219--257",

editor = "\{U. Langer and P. Paule\}",

booktitle = "Numerical and Symbolic Scientific Computing - Progress and Prospects",

publisher = "Springer",

}