Jean-Louis Boulanger

4 кн.
Safety of Computer Architectures
Safety of Computer Architectures
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from...
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. F...
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Ab...
Лабиринт