×
  • Advanced Topics in Bisimulation and Coinduction

    Davide Sangiorgi Jan Rutten (Editors)

Click on cover to enlarge.
7 - 8Hours to read