196
Voted
BIRTHDAY
2003
Springer
16 years 6 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...