Telecharger Cours

DEPARTMENT 2 - LORIA

The overall aim of this thesis is the development of mathematically sound and practically efficient methods for automatically proving the correctness of.



Download