| Pengarang |
| J. Bergstra; |
| Judul |
| Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23 |
| Nama Prosiding |
| Logic of programs : proceeding 1981 |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 131 |
| Abstrak English |
| Kata Kunci |
| Penerbitan |
| Springer, 1981 |
| Tahun |
| 1981 |
| Subjek |
| No. Panggil |
| 004 Lec |