Journal Of The ACM/ Programming Languages and Methodology
Detail Jurnal
- Tanggal Terbit : 07 November 1997
- ISSN: 0004-5411
- Volume: 44
- Nomor: 6
- Penerbit: ACM
| No | Judul Paper | Pengarang | Halaman |
|---|---|---|---|
| 1 | Compositional Refinement of Interactive Systems | M Broy | 850 - 894 |