123
Voted
ESTIMEDIA
2003
Springer
15 years 8 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...