140
click to vote
BIRTHDAY
2003
Springer
15 years 8 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...