Sciweavers

MPC
1998
Springer
65views Mathematics» more  MPC 1998»
14 years 4 months ago
A Unifying Framework for Correct Program Construction
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
Henning Dierks, Michael Schenke