Tools and Algorithms for the Construction and Analysis of Systems Más libros de Sriram Sankaranarayanan & Natasha Sharygina

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2023
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2025
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
2025