Damien Zufferey

الكتب
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
٢٠٢٠
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٩