Rybalchenko, Andrey

Vis mig kun

Verified Software: Theorie, Tools, Experiments

Verified Software: Theorie, Tools, Experiments

Rybalchenko, Andrey

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Rybalchenko, Andrey

436,85 DKK