Leucker, Martin

Vis mig kun

Formal Methods

Formal Methods

Leucker, Martin

802,25 DKK

Formal Methods in Outer Space

Formal Methods in Outer Space

Leucker, Martin

473,39 DKK

Runtime Verification

Runtime Verification

Leucker, Martin

619,55 DKK