131
Voted
WCRE
1993
IEEE
15 years 6 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...