Jean-François Collard has written at least 1 book. Their most popular book is Reasoning About Program Transformations: Imperative Programming and Flow of Data with 1 save with an average rating of -⭐.
Reasoning About Program Transformations Reasoning About Program Transformations: Imperative Programming and Flow of Data
| 0 |