Damien Pous
1
Documents
Publications
- 1
- 1
|
Bisimulation and Coinduction Enhancements: A Historical PerspectiveFormal Aspects of Computing, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩
Article dans une revue
hal-02393949v1
|