Martin .

Towards the dynamic analysis of special systems / Martin . -
Languages: