128
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...