FoCaLiZe Reference Manual

This thesis presents three contributions that have the same underlying moti- vation: to improve the utility of SMT solvers as backends for ...

5) -2020-2023 -B.Sc.(IT) KKCAS (Autonomous) 1