123
Voted
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...