FASE
1998
Springer
15 years 7 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...