Sound and Complete Verification Condition Generator for Functional Recursive Programs

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

Original language	English
Title of host publication	Numerical and Symbolic Scientific Computing - Progress and Prospects
Editors	U. Langer and P. Paule
Place of Publication	Wien
Publisher	Springer
Pages	219-257
Number of pages	38
Publication status	Published - 2011

Fields of science

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

}