selected publications
-
academic article
- LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. arXiv (Cornell University). 360:27-44. 2022
Close
Montin, Mathieu
Publications
Contact
full name
- Mathieu Montin
Publications in VIVO
Co-author Network