PhD Proposal: SMT for Higher-Order Logic

See SMT-HOL.pdf .

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine