Mery, Dominique

Vis mig kun

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Mery, Dominique

875,33 DKK

Theoretical Aspects of Computing - ICTAC 2014

Theoretical Aspects of Computing - ICTAC 2014

Mery, Dominique

436,85 DKK

Rigorous State-Based Methods

Rigorous State-Based Methods

Mery, Dominique

509,93 DKK

Rigorous State-Based Methods

Rigorous State-Based Methods

Mery, Dominique

509,93 DKK