Cousot, Radhia

Vis mig kun

Static Analysis

Static Analysis

Cousot, Radhia

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Cousot, Radhia

436,85 DKK