Verified Software. Theories, Tools, and Experiments Más libros de Sandrine Blazy & Marsha Chechik

Static Analysis

2015