by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Published in Frontiers of Combining Systems

by Sellami, Yanis, Girol, Guillaume, Recoules, Frédéric, Couroussé, Damien, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (05.01.2024)

by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Published in Automated Reasoning (2018)

by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Year of Publication 26.06.2019

by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Year of Publication 12.07.2018

by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Published in arXiv.org (26.06.2019)

by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis
Published in arXiv.org (12.07.2018)