Souheib Baarir
Souheib Baarir
Affiliation: Sorbonne Université, CNRS, LIP6, F-75005 Paris, France Université Paris Lumières, Université Paris Nanterre Nanterre, France
Pages in this Program
PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑