| Pengarang |
| K. L. McMillan; |
| Judul |
| A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35 |
| Judul Artikel |
| Nama Prosiding |
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 1254 |
| Abstrak English |
| Penerbitan |
| Springer, 1997 |
| Kata Kunci |
| Tahun |
| 1997 |
| Subjek |
| No. Panggil |
| 004 Int c |