共 9 条
[1]
[Anonymous], 1976, MATH LOGIC, DOI DOI 10.1007/978-1-4684-9452-5
[2]
10 YEARS OF HOARE LOGIC - A SURVEY .1.
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1981, 3 (04)
:431-483
[3]
ANOTHER INCOMPLETENESS RESULT FOR HOARE LOGIC
[J].
INFORMATION AND CONTROL,
1982, 52 (02)
:159-171
[4]
BERGSTRA JA, 1983, J COMPUT SYSTEM SCI, V25, P267
[7]
de Bakker Jaco., 1980, Mathematical Theory of Program Correctness
[9]
TUCKER JV, UNPUB MONOGRAPH