Mathieu Montin | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Catherine Dubois
6 publications
Marc Pantel
1 publication
Amélie Ledein
1 publication

research

∙ 07/02/2022

LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes

Nested datatypes have been widely studied in the past 25 years, both the...

0 Mathieu Montin, et al. ∙

research

∙ 10/23/2018

Ordering Strict Partial Orders to Model Behavioral Refinement

Software is now ubiquitous and involved in complex interactions with the...

0 Mathieu Montin, et al. ∙