Static Analysis Más libros de Sandrine Blazy & Thomas Jensen

Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2016