Skip to content

Introduction to Bisimulation and Coinduction

by Davide Sangiorgi

Writing a summary for young readers…

For young readers

Book data: Open Library