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