213
Voted
BIRTHDAY
2003
Springer
16 years 19 days 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...