![](/img/cover-not-exists.png)
Towards Constructive DL for Abstraction and Refinement
Michael Mendler, Stephan ScheeleVolume:
44
Language:
english
Pages:
37
DOI:
10.1007/s10817-009-9151-8
Date:
March, 2010
File:
PDF, 1.29 MB
english, 2010