FM
1994
Springer
13 years 9 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.