Keterangan Publikasi
| Judul | Verifying a Copying Garbage Collector in GP 2 |
| Tahun | 2018 |
| Semua Penulis | GS Wulandari, D Plump |
| Penulis | GIA |
| Jurnal | Federation of International Conferences on Software Technologies: Applications and Foundations, LNCS volume 11176, pp 479-494. |
| Peringkat Jurnal | |
| Jenis | Prosiding Internasional |
| Lab Riset | COMPUTING |
| Mitra |