Corecursion for compositional verification
ShareCopied to clipboardCorecursion for compositional verification is a book. It was written by Marco Caminati and published by School of Computer Science, University of Birmingham in 2016.
Key facts
- author: Marco Caminati
- publication date: 2016
- book publisher: School of Computer Science, University of Birmingham
- book series: School of Computer Science research reports
- book subjects: Computer software-Verification, Recursive functions-Data processing
See more factsExtract data
Download datasets about Corecursion for compositional verification:
Dataset of books series that contain Corecursion for compositional verification
"Corecursion for compositional verification" is one of the books by Marco Caminati, books by School of Computer Science, University of Birmingham and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.