89
Voted
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...