196
Voted
FM
1994
Springer
15 years 11 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.