Telecharger Cours

Génie logiciel formel: théorie, pratique et pédagogie (apprentissage ...

In this HDR my objective is to demonstrate my different contributions as a researcher in the domain of formal software engineering: in ...



Download