Etalle, Sandro

Vis mig kun

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Etalle, Sandro

436,85 DKK

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Etalle, Sandro

436,85 DKK