↓ Skip to main content

Verification of Sequential and Concurrent Programs

Overview of attention for book
Attention for Chapter 5: Recursive Programs with Parameters
Altmetric Badge

Citations

dimensions_citation
129 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
Recursive Programs with Parameters
Chapter number 5
Book title
Verification of Sequential and Concurrent Programs
Published by
Springer, London, January 2010
DOI 10.1007/978-1-84882-745-5_5
Book ISBNs
978-1-84882-744-8, 978-1-84882-745-5