108
Voted
TECS
2002
15 years 2 months ago
2002
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...