Modular Refinement and Model Building
暂无分享,去创建一个
[1] Ken Robinson,et al. Specification statements and refinements , 1987 .
[2] Luca Console,et al. Readings in Model-Based Diagnosis , 1992 .
[3] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[4] Michael Z. Spivey,et al. The Z notation , 1989 .
[5] Carroll Morgan,et al. The specification statement , 1988, TOPL.
[6] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.