DM
Morard, Damien
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Global Symbolic Model Checking based on Generalised Intervals |  | 2024 | 392 | 145 | |||
| A Formalism to Model Higher-Order Function | Programming '20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming |  | 2020 | 416 | 7 | ||
| Functional Block Programming and Debugging | Conference’17 | | 2020 | 254 | 6 | ||
| Réalisation d'une méthode pour la création de portails scientifiques | | 2018 | 199 | 31 |
