共 14 条
[1]
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[2]
GOLDBLATT R, 1982, SPRINGER LNCS, V130
[3]
GORDON MJC, 1979, SPRINGER LNCS, V78
[4]
HAHNLE R, 1986, 186 U KARLSR FAK INF
[5]
HAJEK P, 1981, SPRINGER LEC NOTES C, V118, P287
[6]
HAREL D, 1979, SPRINGER LNCS, V68
[7]
Harel D, 1984, HDB PHILOS LOGIC, V2, P496
[8]
AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
[J].
COMMUNICATIONS OF THE ACM,
1969, 12 (10)
:576-&
HOARE, CAR
.
[9]
PRATT VR, 17TH P ANN IEEE S F, P109
[10]
Prawitz D, 1965, STOCKHOLM STUDIES PH, V3