Behavioural Differential Equations and Coinduction for Binary Trees
by
Ra Silva
,
Jan Rutten
| Citations: | 4 - 1 self |







