Главная страница
|
Jean-Louis Boulanger
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation, Jean-Louis Boulanger
Safety of Computer Architectures, Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification, Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code, Jean-Louis Boulanger
