Christophe Ringeissen
Christophe Ringeissen
Affiliation: Université de Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France
Talks
(SMT)
Local Reasoning with Expressive Array Specifications · Arrays, Datatypes & Relational Reasoning
Pages in this Program
Program
Program on Saturday, 25 July 2026
SMT on Saturday, 25 July 2026
SMT Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑