↓ Skip to main content

Numerical and Symbolic Scientific Computing

Overview of attention for book
Attention for Chapter 11: Sound and Complete Verification Condition Generator for Functional Recursive Programs
Altmetric Badge

Citations

dimensions_citation
4 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Sound and Complete Verification Condition Generator for Functional Recursive Programs
Chapter number 11
Book title
Numerical and Symbolic Scientific Computing
Published by
Springer, Vienna, January 2012
DOI 10.1007/978-3-7091-0794-2_11
Book ISBNs
978-3-70-910793-5, 978-3-70-910794-2
Authors

Nikolaj Popov, Tudor Jebelean